October 23 – 28 , 2005, Dagstuhl Seminar 05431

Deduction and Applications

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)