- Franz
Baader,
TU Dresden (Germany)
- Matthias Baaz,
TU Vienna (Austria)
- Peter Baumgartner,
National ICT (Australia)
- Josh Berdine,
MSR Cambridge (UK)
- Armin Biere,
Johannes Kepler University (Austria)
- Iliano Cervesato,
Carnegie Mellon University (Qatar) - chair
- Sagar Chaki,
Carnegie Mellon SEI (US)
- Hubert Comon-Lundh,
ENS Cachan (France)
- Javier Esparza,
TU Munich (Germany)
- Roberto Giacobazzi,
University of Verona (Italy)
- Jürgen
Giesl,
RWTH Aachen (Germany)
- Orna Grumberg,
Technion (Israel)
- Thomas Henzinger,
EPFL (Switzerland)
- Joxan Jaffar,
NUS (Singapore)
- Claude Kirchner,
INRIA & LORIA (France)
- Stephan
Kreutzer,
Oxford University (UK)
- Orna Kupferman,
Hebrew University (Israel)
- Alexander Leitsch,
TU Vienna (Austria)
- Nicola Leone,
University of Calabria (Italy)
|
- Heiko Mantel,
TU Darmstadt (Germany)
- Cathy Meadows,
Naval Research Laboratory (US)
- Aart Middeldorp,
University of Innsbruck (Austria)
- John Mitchell,
Stanford University (US)
- Andreas
Podelski,
University of Freiburg (Germany)
- Sanjiva Prasad,
IIT Delhi (India)
- Alexander Razborov,
Russian Academy of Sciences (Russia)
- Riccardo Rosati,
University of Rome 1 (Italy)
- Andrey Rybalchenko,
MPI-SWS (Germany)
- Marko Samer,
Durham University (UK)
- Ulrike Sattler,
University of Manchester (UK)
- Torsten Schaub,
U.~Potsdam (Germany)
- Carsten Schürmann,
IT University of Copenhagen (Denmark)
- Helmut Seidl,
TU Munich (Germany)
- Henny Sipma,
Stanford University (US)
- Geoff Sutcliffe,
University of Miami (US)
- Ashish Tiwari,
SRI (US)
- Helmut Veith,
TU Darmstadt (Germany) - chair
- Andrei Voronkov,
University of Manchester (UK) - chair
|
