Steering Commitee
- 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