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
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