Milner Symposium
Programme
| Symposium | Programme |
|---|---|
| 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 |