June 4, 2008 –
June 5, 2008
Formal Methods in Systems Biology
Location: Microsoft Research Cambridge UK
- 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