Robin Milner Symposium 15-18th April 2012 | http://events.inf.ed.ac.uk/Milner2012

Events by day


Location


Links


Downloads






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