Participants
- Markus Aderhold (TU Darmstadt, DE)
- Franz Baader (TU Dresden, DE)
- Matthias Baaz (TU Wien, AT)
- Clark W. Barrett (New York University, US)
- Peter Baumgartner (MPI für Informatik – Saarbrücken, DE)
- Bernhard Beckert (Universität Koblenz-Landau, DE)
- Christoph Benzmüller (Universität des Saarlandes, DE)
- Alan Bundy (University of Edinburgh, GB)
- Dominique Cansell (LORIA – Nancy, FR)
- Alessandro Cimatti (Centro Ricerche FIAT – Trento, IT)
- Koen Claessen (Chalmers UT – Göteborg, SE)
- Hubert Comon-Lundh (ENS – Cachan, FR)
- Hans de Nivelle (MPI für Informatik – Saarbrücken, DE)
- Bernd Fischer (NASA / RIACS – Moffett Field, US)
- Ulrich Furbach (Universität Koblenz-Landau, DE)
- Jürgen Giesl (RWTH Aachen, DE)
- Reiner Hähnle (Chalmers UT – Göteborg, SE)
- Thomas Hillenbrand (MPI für Informatik – Saarbrücken, DE)
- Ian Horrocks (University of Manchester, GB)
- Dieter Hutter (DFKI – Saarbrücken, DE)
- Deepak Kapur (University of New Mexico – Albuquerque, US)
- Yevgeny Kazakov (MPI für Informatik – Saarbrücken, DE)
- Claude Kirchner (LORIA & INRIA – Nancy, FR)
- Boris Konev (University of Liverpool, GB)
- Konstantin Korovin (University of Manchester, GB)
- Viktor Kuncak (MIT – Cambridge, US)
- Shuvendu K. Lahiri (Microsoft Research – Redmond, US)
- Tal Lev-Ami (Tel Aviv University, IL)
- Carsten Lutz (TU Dresden, DE)
- Christopher Lynch (Clarkson University – Potsdam, US)
- Ilkka Niemelä (Helsinki University of Technology, FI)
- Robert Nieuwenhuis (UPC – Barcelona, ES)
- Albert Oliveras (Polytechnic University of Catalonia, ES)
- Brigitte Pientka (McGill University – Montreal, CA)
- Ruzica Piskac (MPI für Informatik – Saarbrücken, DE)
- Enric Rodríguez-Carbonell (UPC – Barcelona, ES)
- Albert Rubio (UPC – Barcelona, ES)
- Michaël Rusinowitch (INRIA Lorraine – Nancy, FR)
- Uli Sattler (University of Manchester, GB)
- Gerhard Schellhorn (Universität Augsburg, DE)
- Andreas Schlosser (TU Darmstadt, DE)
- Renate Schmidt (University of Manchester, GB)
- Manfred Schmidt-Schauss (Universität Frankfurt, DE)
- Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
- Stephan Schulz (TU München, DE)
- Johann M. Schumann (NASA / RIACS – Moffett Field, US)
- Jörg Siekmann (DFKI – Saarbrücken, DE)
- John Slaney (Australian National University – Canberra, AU)
- Viorica Sofronie-Stokkermans (MPI für Informatik – Saarbrücken, DE)
- Gernot Stenz (TU München, DE)
- Aaron Stump (Washington University – St. Louis, US)
- Geoff Sutcliffe (University of Miami, US)
- Cesare Tinelli (University of Iowa – Iowa City, US)
- Ashish Tiwari (SRI – Menlo Park, US)
- Margus Veanes (Microsoft Research – Redmond, US)
- Andrei Voronkov (University of Manchester, GB)
- Arild Waaler (University of Oslo, NO)
- Uwe Waldmann (MPI für Informatik – Saarbrücken, DE)
- Christoph Walther (TU Darmstadt, DE)
- Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)
- Frank Wolter (University of Liverpool, GB)
