Christel Baier, U Bonn, Germany
Dragan Bosnacki, Eindhoven U, Netherlands
Patricia Bouyer, ÉNS de Cachan, France
Lubos Brim, Masaryk U, Czech Republic
Marsha Chechik, U Toronto, Canada
Matthew Dwyer, U Nebraska, USA
Stefan Edelkamp, TU Dortmund, Germany
Susanne Graf, VERIMAG, France
Jaco Geldenhuys, U Stellenbosch, South Africa
Klaus Havelund, JPL, USA
Gerard Holzmann, JPL, USA
Radu Iosif, VERIMAG, France
Michael Jones, Brigham Young U, USA
Sarfraz Khurshid, UT Austin, USA
Orna Kupferman, Hebrew U, Israel
Stefan Leue, U Konstanz, Germany
Rupak Majumdar, UC Los Angeles, USA
Madan Musuvathi, Microsoft Research, USA
Koushik Sen, UC Berkeley, USA
Scott Stoller, Stony Brook U, USA
Farn Wang, National Taiwan U, Taiwan
Pierre Wolper, U Liege, Belgium