Program Committee

Elvira Albert, Complutense University of Madrid
María Alpuente, Technical University of Valencia
Matthias Baaz, Vienna University of Technology
Christoph Benzmüller, Universität des Saarlande
Koen Claessen, Chalmers University of Technology
Anatoli Degtyarev, King's College London
Thomas Eiter, Vienna University of Technology
Bernd Fischer, NASA Ames Research Center
Rajeev Goré, Australian National University
Erich Graedel, Aachen University of Technology
John Harrison, Intel Corporation
Miki Hermann, École Polytechnique
Brahim Hnich, University College Cork
Ian Horrocks, University of Manchester
Mateja Jamnik, University of Cambridge
Neil Jones, University of Copenhagen
Christoph Koch, Vienna University of Technology
Christopher Lynch, Clarkson University
Michael Maher, University of New South Wales
Maarten Marx, Universiteit van Amsterdam
Catuscia Palamidessi, INRIA Futurs Saclay and LIX
Peter Patel-Schneider, Bell Laboratories
Jeff Pelletier, Simon Fraser University
Harald Ruess, SRI International
Carsten Schürmann, Yale University
John Slaney, Australian National University
Stephan Schulz, Technische Universität München
Bart Selman, Cornell University
Geoff Sutcliffe, University of Miami
Cesare Tinelli, University of Iowa
Ashish Tiwari, SRI International
Margus Veanes, Microsoft Research
Andrei Voronkov, University of Manchester