Milner Symposium 2012

A celebration of the life and work of one of the world's greatest computer scientists, Robin Milner

26 speakers

29 sessions

Day 1 from 7pm to 9pm Sunday 15th April 2012

• 7:00pm Laboratory for Foundations of Computer Science — 25th anniversary reception

Day 2 from 9am to 8pm Monday 16th April 2012

• 9:00am Welcome

  presented by Michael Fourman, David Robertson and Gordon Plotkin

• 9:10am What I learned from LCF

  presented by Gérard Huet

• 9:50am LCF + Logical Frameworks = Isabelle, 25 years later

  presented by Lawrence Paulson

• 11:00am Types in mathematical proofs

  presented by Georges Gonthier

• 11:40am TBA

  presented by John Harrison

• 2:00pm Graphical notation schemes: a picture is worth a thousand binary tensor words

  presented by John Power

• 2:40pm Higher-order modules revisited

  presented by David MacQueen

• 3:50pm Objects and modules: two sides of the same coin?

  presented by Martin Odersky

• 4:30pm Defining a language

  presented by Robert Harper

• 5:30pm Panel — The future of functional programming languages

• 7:00pm British Computer Society Academy of Computing — Post-panel reception

Day 3 from 9:10am to 11pm Tuesday 17th April 2012

• 9:10am The continuation of functional programming by other means

  presented by Xavier Leroy

• 9:50am Types à la Milner

  presented by Benjamin Pierce

• 11:00am ‘Algebraic Laws for Nondeterminism and Concurrency’: another look

  presented by Matthew Hennessy

• 11:40am TBA

  presented by Kim Larsen

• 2:00pm The pi-calculus: Origin and recent developments

  presented by Joachim Parrow

• 2:40pm Some remarks on bisimulation and coinduction

  presented by Davide Sangiorgi

• 3:50pm Coalgebraic bisimulation

  presented by Jan Rutten

• 4:30pm False concurrency

  presented by Peter Sewell

• 7:00pm Symposium banquet

Day 4 from 9:10am to 6pm Wednesday 18th April 2012

• 9:10am Secure multiparty session

  presented by James J. Leifer

• 9:50am Jobbers, sentient buildings and lions: a short walk into Robin Milner's tower

  presented by Jean Krivine

• 11:00am An algebraic view of bigraphs

  presented by Gordon Plotkin

• 11:40am Understanding communication and concurrency through types

  presented by Kohei Honda and Nobuko Yoshida

• 2:00pm Information dynamics

  presented by Samson Abramsky

• 2:40pm Robin Milner and mathematics

  presented by Glynn Winskel

• 3:50pm Reconciling models, semantics, and implementations

  presented by Gérard Berry

• 4:30pm Panel — TBA

Venues

3 known attendees

3 people tracking this event