Milner Symposium
Speakers
- Samson Abramsky, University of Oxford
- Gérard Berry, INRIA, France
- Georges Gonthier, Microsoft, France
- Robert Harper, Carnegie Melon University
- John Harrison, Intel Corporation
- Matthew Hennessy, Trinity College, Dublin
- Kohei Honda, Queen Mary, University of London
- Gérard Huet, INRIA, France
- Jean Krivine, CNRS, Paris VII
- Kim Larsen, Aalborg
- James J. Leifer, INRIA, France
- Xavier Leroy, INRIA, France
- David MacQueen, University of Chicago
- Martin Odersky, EPFL, Lausanne
- Joachim Parrow, Uppsala
- Lawrence C. Paulson, University of Cambridge
- Benjamin C. Pierce, University of Pennsylvania
- Gordon Plotkin, University of Edinburgh
- John Power, University of Bath
- Jan Rutten, CWI, Amsterdam
- Davide Sangiorgi, University of Bologna
- Peter Sewell, University of Cambridge
- Glynn Winskel, University of Cambridge