June 4, 2008 – June 5, 2008

Formal Methods in Systems Biology

Location: Microsoft Research Cambridge UK

  • Jasmin Fisher (Chair) – Microsoft Research Cambridge
  • David Harel – Weizmann Institute of Science
  • Stephen Emmott – Microsoft Research Cambridge
  • Amir Pnueli – NYU / Weizmann Institute of Science
  • Claire Tomlin – Stanford / Berkeley
  • Luca Cardelli – Microsoft Research Cambridge
  • Tom Henzinger – EPFL