| Alessandro Armando |
Università di Genova |
| Franz Baader |
Technische Universität Dresden |
| Peter Baumgartner |
NICTA, Canberra |
| Maria Paola Bonacina |
Università degli Studi di Verona |
| Bernhard Beckert |
Universität Koblenz-Landau |
| Nikolaj Bjørner |
Microsoft Research |
| Alessandro Cimatti |
Istituto per la Ricerca Scientifica e
Tecnologica, Trento |
| Silvio Ghilardi |
Università degli Studi di Milano |
| Jürgen Giesl |
RWTH Aachen |
| Rajeev Goré |
The Australian National University |
| Reiner Hähnle |
Chalmers University of Technology |
| John Harrison |
Intel Corporation |
| Miki Hermann |
École Polytechnique |
| Ullrich Hustadt |
University of Liverpool |
| Katsumi Inoue |
National Institute of Informatics, Japan |
| Tommi Junttila |
Helsinki University of Technology |
| Deepak Kapur |
University of New Mexico |
| Alexander Leitsch |
Technische Universität Wien |
| Christopher Lynch |
Clarkson University |
| Claude Marché |
INRIA Saclay, Parc Orsay Université |
| William McCune |
University of New Mexico |
| Aart Middeldorp |
Universität Innsbruck |
| Hans de Nivelle |
University of Wroclaw |
| Albert Oliveras |
Universitat Politècnica de Catalunya |
| Lawrence Paulson |
University of Cambridge |
| Brigitte Pientka |
McGill University |
| David Plaisted |
University of North Carolina
at Chapel Hill |
| Michaël Rusinowitch |
LORIA-INRIA-Lorraine |
| Renate Schmidt (Chair) |
The University of Manchester |
| Carsten Schürmann |
IT-Universitetet i København |
| Aaron Stump |
The University of Iowa |
| Geoff Sutcliffe |
University of Miami |
| Cesare Tinelli |
The University of Iowa |
| Andrei Voronkov |
The University of Manchester |
| Christoph Weidenbach |
Max-Planck-Institut für Informatik |
