Milner Symposium
Programme
| Symposium | Programme |
|---|---|
| Monday | 16th April 2012 |
| 08:00—09:00 | Registration |
| 09:00—09:10 | Plotkin/Robertson — Milner Symposium Welcome |
| 09:10—12:20 | Monday morning session (Chair: Gordon Plotkin) |
| 09:10—09:50 | Gérard Huet — What I learned from LCF |
| 09:50—10:30 | Lawrence Paulson — LCF + Logical Frameworks = Isabelle (25 years later) |
| 10:30—11:00 | Coffee break (+ registration) |
| 11:00—11:40 | Georges Gonthier — Types in mathematical proofs |
| 11:40—12:20 | John Harrison — Interactive theorem proving in industry |
| 12:20—14:00 | Lunch |
| 14:00—17:10 | Monday afternoon session (Chair: Mads Tofte) |
| 14:00—14:40 | John Power — Graphical notation schemes: a picture is worth a thousand binary tensor words |
| 14:40—15:20 | David MacQueen — Higher-order modules revisited |
| 15:20—15:50 | Coffee break |
| 15:50—16:30 | Martin Odersky — Objects and modules: two sides of the same coin? |
| 16:30—17:10 | Robert Harper — Defining a programming languge |
| 17:10—17:30 | Short break |
| 17:30—19:00 | Panel (Chair: Philip Wadler) — The future of functional programming languages |
| 19:00—20:00 | British Computer Society Academy of Computing — Post-panel reception |