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 |