Program Committee

María Alpuente, Technical University of Valencia
Franz Baader, Technische Universität Dresden
Matthias Baaz, Vienna University of Technology
Christoph Benzmüller, Universität des Saarlandes
Koen Claessen, Chalmers University of Technology
Javier Esparza, University of Stuttgart
Bernd Fischer, University of Southampton
Jürgen Giesl, RWTH Aachen
Jean Goubault-Larrecq, ENS Cachan
Erich Grädel, Aachen University of Technology
Ziyad Hanna, Intel
Pascal van Hentenryck, Brown University
Miki Hermann, CNRS and École Polytechnique
Brahim Hnich, University College Cork
Ian Horrocks, University of Manchester
Viktor Kuncak, MIT
Orna Kupferman, Hebrew University
Christopher Lynch, Clarkson University
Dale Miller, INRIA Futurs and École Polytechnique
George Necula, UC Berkeley
Joachim Niehren, LIFL and INRIA Futurs
Luke Ong, Oxford University
Catuscia Palamidessi, LIX and INRIA Futurs
Michel Parigot, PPS and CNRS
Frank Pfenning, Carnegie Mellon University
Reinhard Pichler, Vienna University of Technology
Michaël Rusinowitch, LORIA and INRIA-Lorraine
Mooly Sagiv, Tel-Aviv University
Gernot Salzer, Vienna University of Technology
Christelle Scharff, Pace University
Sopheap Seng, ITC Phnom Penh
Geoff Sutcliffe, University of Miami
Sophie Tison, LIFL and Université de Lille
Margus Veanes, Microsoft Research
Andrei Voronkov, University of Manchester and Microsoft Research