| Franz Baader | TU Dresden | Germany |
| Peter Baumgartner | NICTA, The Australian National University | Australia |
| Maria Paola Bonacina | Università degli Studi di Verona | Italy |
| Agata Ciabattoni | TU Wien | Austria |
| Leonardo de Moura | Microsoft Research | USA |
| Hans De Nivelle | University of Wroclaw | Poland |
| Stephanie Delaune | LSV, CNRS, ENS Cachan | France |
| Stéphane Demri | LSV, CNRS, ENS Cachan | France |
| Clare Dixon | University of Liverpool | UK |
| Christian Fermüller | TU Wien | Austria |
| Didier Galmiche | Université de Lorraine - LORIA | France |
| Silvio Ghilardi | Università degli Studi di Milano | Italy |
| Jürgen Giesl | RWTH Aachen University | Germany |
| Birte Glimm | Universität Ulm | Germany |
| Rajeev Goré | The Australian National University | Australia |
| Reiner Hähnle | Technical University of Darmstadt | Germany |
| Stefan Hetzl | TU Wien | Austria |
| Dejan Jovanović | SRI International | USA |
| Reinhard Kahle | CENTRIA Universidade Nova de Lisboa | Portugal |
| Deepak Kapur | University of New Mexico | USA |
| Jordi Levy | IIIA – CSIC, Bellaterra, Catalonia | Spain |
| Carsten Lutz | University of Bremen | Germany |
| Christopher Lynch | Clarkson University | USA |
| George Metcalfe | University of Bern | Switzerland |
| Aart Middeldorp | University of Innsbruck | Austria |
| Dale Miller | INRIA and LIX/Ecole Polytechnique | France |
| Sara Negri | University of Helsinki | Finland |
Nicola Olivetti
| LSIS, Aix-Marseille University | France |
| Jens Otten | University of Potsdam | Germany |
| Lawrence Paulson | University of Cambridge | UK |
| Nicolas Peltier | CNRS – LIG, Grenoble | France |
| Andrei Popescu | Middlesex University, London | UK |
| Christophe Ringeissen | LORIA-INRIA Nancy | France |
| Philipp Ruemmer | Uppsala University | Sweden |
| Masahiko Sakai | Nagoya University | Japan |
| Renate A. Schmidt | University of Manchester | UK |
| Roberto Sebastiani | University of Trento | Italy |
| Martina Seidl | Johannes Kepler University Linz | Austria |
| Viorica Sofronie-Stokkermans | Max Planck Institute for Informatics | Germany |
Ashish Tiwari
| SRI International | USA |
| Josef Urban | Radboud University, Nijmegen | Netherlands |
| Christoph Weidenbach | Max Planck Institute for Informatics | Germany |
