| 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) |