Committees
Organising Committee
- Birte Glimm (satellite events chair)
- Konstantin Korovin (conference co-chair)
- Uli Sattler (program committee chair representative)
- Geoff Sutcliffe (competitions chair)
- Andrei Voronkov (conference co-chair)
Program Committee
- Takahito Aoto, Tohoku University, Japan
- Franz Baader, TU Dresden, Germany
- Peter Baumgartner, NICTA, ANU, Australia
- Maria Paola Bonacina, Università degli Studi di Verona, Italy
- Torben Braüner, Roskilde University, Denmark
- Michael Fink, TU Wien, Austria
- Jacques Fleuriot, University of Edinburgh, UK
- Silvio Ghilardi, Università degli Studi di Milano, Italy
- Jürgen Giesl, RWTH Aachen ,Germany
- Bernhard Gramlich, TU Wien, Austria
- Reiner Hähnle, Chalmers University of Technology, Sweden
- Florent Jacquemard, ENS de Cachan, France
- Deepak Kapur, University of New Mexico, Albuquerque, USA
- Yevgeni Kazakov, Ulm University, UK
- Hélène Kirchner, INRIA Rocquencourt, France
- Konstantin Korovin, University of Manchester, UK
- Martin Lange, Universität Kassel, Germany
- Stéphane Lengrand, LIX, Ecole Polytechnique, France
- Christoph Lüth, DFKI & Universität Bremen, Germany
- Carsten Lutz, Universität Bremen, Germany
- Chris Lynch, Clarkson University, Potsdam, USA
- George Metcalfe, Universität Bern, Switzerland
- Dale Miller, INRIA Saclay – Ile-de-France, France
- Aleksandar Nanevski, IMDEA Software, Madrid, Spain
- Tobias Nipkow, TU München, Germany
- Hans de Nivelle, University of Wroclaw, Poland
- Albert Oliveras, UPC, Barcelona, Spain
- Nicolas Peltier, LIG/IMAG, Grenoble, France
- Frank Pfenning, CMU, Pittsburgh, USA
- Grigore Rosu, University of Illinois at Urbana-Champaign, USA
- Michaël Rusinowitch, LORIA/INRIA-Lorraine, Nancy France
- Uli Sattler, University of Manchester, UK
- Viorica Sofronie-Stokkermans, MPI für Informatik, Saarbrücken, Germany
- Georg Struth, University of Sheffield, UK
- Aaron Stump, The University of Iowa, USA
- Geoff Sutcliffe, University of Miami, USA
- René Thiemann, University of Innsbruck, Austria
- Cesare Tinelli, The University of Iowa, USA
- Alwen Tiu, ANU, Canberra, Australia
- Bow-Yaw Wang, Academia Sinica, Taipei, Taiwan
- Christoph Weidenbach, MPI für Informatik, Saarbrücken, Germany
- Michael Zakharyashev, Birkbeck College, London, UK
- Hans Zantema, Eindhoven University of Technology, The Netherlands