Program Committee
- Jose Aguilar (Universidad de Los Andes)
- Elvira Albert (Complutense University of Madrid)
- Armin Biere (Johannes Kepler University Linz)
- Patrick Blackburn (Roskilde University)
- Iliano Cervesato (Carnegie Mellon University)
- Thierry Coquand (University of Gothenburg)
- Nachum Dershowitz (Tel Aviv University)
- Patrick Doherty (Linkoping University)
- Uwe Egly (Vienna University of Technology)
- Thomas Eiter (Vienna University of Technology) - chair
- Wolfgang Faber (University of Huddersfield)
- Ansgar Fehnker (TU Twente)
- Christian Fermüller (TU Wien)
- Thom Fruehwirth (University of Ulm)
- Michael Genesereth (Stanford University)
- Silvio Ghilardi (Dipartimento di Matematica, Università degli Studi di Milano)
- Jürgen Giesl (RWTH Aachen)
- Alberto Griggio (FBK-IRST)
- John Harrison (Intel Corporation)
- Miki Hermann (LIX, Ecole Polytechnique)
- Andreas Herzig (IRIT-CNRS)
- Reiner Hähnle (Technical University of Darmstadt)
- Dejan Jovanović (SRI International)
- Gabriele Kern-Isberner (Technische Universitaet Dortmund)
- Gerwin Klein (NICTA and UNSW)
- Michael Kohlhase (Computer Science, FAU Erlangen-Nürnberg)
- Dexter Kozen (Cornell University)
- Orna Kupferman (Hebrew University)
- Alexander Leitsch (Institute of Computer Languages (E185), Vienna University of Technology)
- Joe Leslie-Hurd (Intel Corporation)
- Leonid Libkin (Univ of Edinburgh)
- Joao Marques-Silva (University of Lisbon)
- Annabelle McIver (Macquarie University)
- Aart Middeldorp (University of Innsbruck)
- Georg Moser (University of Innsbruck)
- Cesar Munoz (NASA)
- Albert Oliveras (Technical University of Catalonia)
- Nicola Olivetti (LSIS, Aix-Marseille University)
- Frank Pfenning (Carnegie Mellon University)
- Sebastian Rudolph (Technische Universität Dresden)
- David Sands (Chalmers University of Technology)
- Uli Sattler (University of Manchester)
- Torsten Schaub (University of Potsdam)
- Carsten Schuermann (IT University of Copenhagen)
- Geoff Sutcliffe (University of Miami)
- Eugenia Ternovska (Simon Fraser University)
- Ashish Tiwari (SRI International)
- Andrei Voronkov (University of Manchester)
- Frank Wolter (University of Liverpool)