Andrei Voronkov (University of Manchester) Sophie Tison (University of Science and Technology of Lille)
Nikolaj Bjorner (Microsoft Research) Geoff Sutcliffe (University of Miami)
Margus Veanes (Microsoft Research) Helene Kirchner (Laboratorie Lorrain De Recherche INRIA)
Volker Diekert (University of Stuttgart) Stephen Watt (The University of Western Ontario)
Helmut Veith (Vienna University of Technology) Rupak Majumdar (University of California, Los Angeles.)
Orna Kupferman (Hebrew University of Jerusalem) Wilfrid Hodges (University of London)
Roberto Giacobazzi (University of Verona) Toby Walsh (The University of New South Wales)
Leonid Libkin (University of Edinburgh ) Yasuhiko Minamide (University of Tsukuba)
Christian Fermüller (Technology University of Wien) Matthias Baaz (University of Technology, Vienna)
Richard Waldinger (SRI International) Tetsuo Ida (University of Tsukuba)
Sergei Artemov (City University of New York) Elvira Albert (Complutense University of Madrid)
Martin Hofmann (LMU Munich) Mitsuhiro Okada (Keio University)
Marta Kwiatkowska (University of Oxford) Armin Biere (Johannes Kepler University)
Erich Grädel (RWTH Aachen University) Frank Pfenning (Carnegie Mellon University)
Aarti Gupta (NEC Laboratories America) Michel Parigot (CNRS - Universit Paris 7)
Francesca Rossi (University of Padova) Ulrike Sattler (University of Manchester)
Koen Claessen (Chalmers University of Technology) Maribel Fernandez (King's College London)
Laura Kovacs (TU Vienna) Deepak Kapur (University of New Mexico)
Natarajan Shankar (SRI International) Alexander Leitsch (Vienna University of Technology)
Manuel Hermenegildo (T.U. Madrid (UPM) and IMDEA SR I) Christoph Weidenbach (Max Planck Institute for Informatics)