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