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