Milner Symposium
Programme
| Symposium | Programme |
|---|---|
| Sunday | 15th April 2012 |
| 17:30—18:45 | LFCS PhD Student Panel (Chair: Jane Hillston) — Keep Calm and Keep Proving: Advice from past LFCS PhD students to current ones |
| 18:45—19:00 | Short break |
| 19:00—21:00 | Laboratory for Foundations of Computer Science — 25th anniversary reception |
| 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 |
| Tuesday | 17th April 2012 |
| 09:10—12:20 | Tuesday morning session (Chair: Philippa Gardner) |
| 09:10—09:50 | Xavier Leroy — The continuation of functional programming by other means |
| 09:50—10:30 | Benjamin Pierce — Types à la Milner |
| 10:30—11:00 | Coffee break |
| 11:00—11:40 | Matthew Hennessy — `Algebraic Laws for Nondeterminism and Concurrency': another look |
| 11:40—12:20 | Kim Larsen — Quantitative modal transition systems |
| 12:20—14:00 | Lunch |
| 14:00—17:10 | Tuesday afternoon session (Chair: Cliff Jones) |
| 14:00—14:40 | Joachim Parrow — The pi-calculus: Origin and recent developments |
| 14:40—15:20 | Davide Sangiorgi — Some remarks on bisimulation and coinduction |
| 15:20—15:50 | Coffee break |
| 15:50—16:30 | Jan Rutten — Coalgebraic bisimulation |
| 16:30—17:10 | Peter Sewell — False concurrency and the foundations of computer science |
| 17:10—19:00 | Break |
| 19:00—23:00 | Symposium banquet — Playfair Library Hall, Old College, South Bridge, Edinburgh |
| Wednesday | 18th April 2012 |
| 09:10—10:30 | Wednesday morning session (Chair: Stephen Gilmore) |
| 09:10—09:50 | Kohei Honda and Nobuko Yoshida — Understanding communication and concurrency through types |
| 09:50—10:30 | Jean Krivine — Jobbers, sentient buildings and lions: a short walk into Robin Milner's tower |
| 10:30—11:00 | Coffee break |
| 11:00—12:20 | Panel (Chair: Gérard Berry) — The future of concurrency: Which solutions to which problems? |
| 12:20—14:00 | Lunch |
| 14:00—17:10 | Wednesday afternoon session (Chair: Michael Fourman) |
| 14:00—14:40 | Gordon Plotkin — An algebraic view of bigraphs |
| 14:40—15:20 | Samson Abramsky — Information dynamics |
| 15:20—15:50 | Coffee break |
| 15:50—16:30 | Glynn Winskel — Robin Milner and mathematics |
| 16:30—17:10 | Gérard Berry — Reconciling semantics, implementation, and users |