Confirmed Participants
- Jasmin Fisher - Microsoft Research Cambridge
- Sydney Brenner - Salk Institute
- Robin Milner - Cambridge University
- Christopher Langmead - Carnegie Mellon University
- Satoru Miyano - Tokyo University
- Nir Piterman - Imperial College London
- Daniel Kroening - Oxford University
- Marta Kwiatkowska - Oxford University
- Adelinde Uhrmacher - Rostock University
- Andrew Phillips - Microsoft Research Cambridge
- Russell Harmer - CNRS Universite Paris-Diderot
- François Fages - INRIA Paris
- Wan Fokkink - Amsterdam University
- Hillel Kugler - Microsoft Research Cambridge
- David Harel - Weizmann Institute of Science
- Luca Cardelli - Microsoft Research Cambridge
- Stephen Emmott - Microsoft Research Cambridge
- Amir Pnueli - NYU / Weizmann Institute of Science
- Tom Henzinger - EPFL
- Byron Cook - Microsoft Research Cambridge
- Josh Berdine - Microsoft Research Cambridge
- John Heath - Birmingham University
- Michael Huth - Imperial College London
- Andreas Podelski - Freiburg University
- Steve McKeever - Oxford University
- Verena Wolf - EPFL
- Luke Church - Cambridge University
- Garth Ilsley - EBI
- Antje Beyer - Cambridge University
- Oksana Tymchyshyn - Birmingham University
- Oded Maler - CNRS - Verimag
- Yaki Setty - Microsoft Research Cambridge
- Mike Gordon - Cambridge University
- Satnam Singh - Microsoft Research Cambridge
- Ralf Herbrich - Microsoft Research Cambridge
- Vincent Schachter - CEA France