Robin Milner Symposium 15-18th April 2012 |

Events by day




Milner Symposium


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