Symposium for Gordon Plotkin
September 7-8,
2006
LFCS, School of Informatics,
University of Edinburgh
Participants
| Home Page | Information Page | Programme | Participants | Talk materials | Pictures |
| Martín Abadi | UC Santa Cruz and Microsoft Research, Silicon Valley |
| Samson Abramsky | University of Oxford |
| Thorsten Altenkirch | University of Nottingham |
| Stuart Anderson | University of Edinburgh |
| David Aspinall | University of Edinburgh |
| Robert Atkey | University of Edinburgh |
| Arnon Avron | Tel-Aviv University |
| Ingo Battenfeld | University of Edinburgh |
| Ioannis Baltopoulos | University of Cambridge |
| Andrew Barber | Avanade |
| Gianluigi Bellin | Università di Verona; and Queen Mary, University of London |
| Henk Barendregt | Radboud University Nijmegen |
| Mario Benevides | Federal University of Rio de Janeiro |
| William Blum | University of Oxford |
| Julian Bradfield | University of Edinburgh |
| Graeme Bulfield | University of Edinburgh |
| Alan Bundy | University of Edinburgh |
| Patrick Cai | University of Edinburgh |
| Brian Campbell | University of Edinburgh |
| Tal Caplin | Imperial College London |
| Luca Cardelli | Microsoft Research, Cambridge |
| Pietro Cenciarelli | University of Rome |
| Senthilkumar Chandramohan | University of Edinburgh |
| James Chapman | University of Nottingham |
| James Cheney | University of Edinburgh |
| George Cleland | Adelard LLP |
| Ezra Cooper | University of Edinburgh |
| Mary Cryan | University of Edinburgh |
| Pierre-Louis Curien | CNRS and Paris 7 |
| Olivier Danvy | University of Aarhus |
| Carla Delgado | Universidade Federal do Rio de Janeiro |
| Lucas Dixon | University of Edinburgh |
| Gordon Duckett | University of Edinburgh |
| Ross Duncan | University of Oxford |
| Roy Dyckhoff | University of St Andrews |
| Martín Escardó | University of Birmingham |
| Kousha Etessami | University of Edinburgh |
| Andrzej Filinski | University of Copenhagen |
| Marcelo Fiore | University of Cambridge |
| Michael Fourman | University of Edinburgh |
| Murdoch Gabbay | Heriot-Watt University |
| Philippa Gardner | Imperial College |
| Neil Ghani | University of Nottingham |
| Lilia Georgieva | Heriot-Watt University |
| Dyane Goodchild | University of Edinburgh |
| Priya Gopalan | University of Edinburgh |
| Ben Gorry | Heriot-Watt University |
| Igor Goryanin | University of Edinburgh |
| Miles Gould | University of Glasgow |
| Gudmund Grov | Heriot-Watt University |
| Bjorn Haagensen | Imperial College, London |
| Peter Hancock | Nottingham University |
| Matthew Hennessy | University of Sussex |
| Jane Hillston | University of Edinburgh |
| Tie Ho | University of Wales Swansea |
| Weng Kin Ho | University of Birmingham |
| Martin Hofmann | LMU Munich |
| Furio Honsell | Università degli studi di Udine |
| Liyang Hu | University of Nottingham |
| DeLesley Hutchins | University of Edinburgh |
| Martin Hyland | University of Cambridge |
| Paul Jackson | University of Edinburgh |
| Barry Jay | University of Technology, Sydney; and Microsoft Research Ltd |
| Mark Jerrum | Queen Mary, University of London |
| Achim Jung | University of Birmingham |
| Ozan Kahramanogullari | Imperial College London |
| Marek Kwiatkowski | University of Edinburgh |
| Eleanor Kerse | University of Edinburgh |
| Marco Kick | Siemens AG |
| Daisuke Kimura | National Institute of Informatics, Japan |
| Bartek Klin | University of Edinburgh |
| Martin Lange | University of Aarhus |
| Stephane Lengrand | St Andrews |
| Samuel Lindley | University of Edinburgh |
| Monika Lekuse | University of Edinburgh |
| Paul Levy | University of Birmingham |
| John Longley | University of Edinburgh |
| Manuel Maarek | Heriot-Watt University |
| Patrick Maier | University of Edinburgh |
| Conor McBride | University of Nottingham |
| Kenneth McKenzie | University of Edinburgh |
| James McKinna | University of St. Andrews |
| Andrew Millar | University of Edinburgh |
| Dale Miller | INRIA |
| Eugenio Moggi | Università di Genova |
| Alberto Momigliano | University of Edinburgh |
| Peter Mosses | Swansea University |
| Dimitris Mostous | Imperial College, London |
| Jonty Needham | University of Bath |
| Flemming Nielson | Technical University of Denmark |
| Hanne Riis Nielson | Technical University of Denmark |
| Bill Orrok | University of Edinburgh |
| Tim O'Shea | University of Edinburgh |
| Michael Pedersen | University of Edinburgh |
| Marius Petria | University of Edinburgh |
| Alexis Petrounias | Imperial College, London |
| Andrew Pitts | University of Cambridge |
| Gordon Plotkin | University of Edinburgh |
| Randy Pollack | University of Edinburgh |
| John Power | University of Edinburgh |
| Matija Pretnar | University of Edinburgh |
| Mark Price | University of Bath |
| David Pym | HP Labs, Bristol |
| Sandra Quickert | University of Edinburgh |
| Mohammad Raza | Imperial College, London |
| Bernhard Reus | University of Sussex |
| Krzysztof Retel | Heriot-Watt University |
| John Reynolds | Carnegie Mellon Univerity |
| Robert Rothenberg | St Andrews |
| Don Sannella | University of Edinburgh |
| Matthias Schröaut;der | University of Edinburgh |
| Dana Scott | Carnegie Mellon Univerity |
| Jaroslav Sevcik | University of Edinburgh |
| Gareth Smith | Imperial College, London |
| Alex Simpson | University of Edinburgh |
| Diana Sisu | University of Edinburgh |
| Michael Smith | University of Edinburgh |
| Ian Stark | University of Edinburgh |
| Colin Stirling | University of Edinburgh |
| Graham Steel | University of Edinburgh |
| Perdita Stevens | University of Edinburgh |
| Alley Stoughton | Kansas State University |
| Rok Strnisa | University of Cambridge |
| Sun Yong | |
| Miki Tanaka | NICT, Japan |
| Andrzej Tarlecki | Warsaw University |
| Daniele Turi | University of Manchester |
| Rob van Glabbeek | National ICT Australia |
| Marije Vugts | University of Edinburgh |
| Phil Wadler | University of Edinburgh |
| Glynn Winskel | University of Cambridge |
| Jeremy Yallop | University of Edinburgh |
| Home Page | Information Page | Programme | Participants | Talk materials | Pictures |