March 4 – 9 , 2001, Dagstuhl Seminar 01101

Deduction

Participants

  • Jürgen Avenhaus (TU Kaiserslautern, DE)
  • David Basin (ETH Zürich, CH)
  • Peter Baumgartner (MPI für Informatik – Saarbrücken, DE)
  • Bernhard Beckert (Universität Koblenz-Landau, DE)
  • Stefan Berghofer (TU München, DE)
  • Wolfgang Bibel (TU Darmstadt, DE)
  • Maria Paola Bonacina (University of Verona, IT)
  • Hans de Nivelle (MPI für Informatik – Saarbrücken, DE)
  • Ulrich Furbach (Universität Koblenz-Landau, DE)
  • Harald Ganzinger (MPI-SWS – Saarbrücken, DE)
  • Martin Giese (Chalmers UT – Göteborg, SE)
  • Jürgen Giesl (RWTH Aachen, DE)
  • Rajeev P. Gore (Australian National University, AU)
  • Reiner Hähnle (Chalmers UT – Göteborg, SE)
  • Steffen Hölldobler (TU Dresden, DE)
  • Ian Horrocks (University of Manchester, GB)
  • Ullrich Hustadt (University of Liverpool, GB)
  • Dieter Hutter (DFKI – Saarbrücken, DE)
  • Katsumi Inoue (National Institute of Informatics – Tokyo, JP)
  • Mitsuru Ishizuka (University of Tokyo, JP)
  • Deepak Kapur (University of New Mexico – Albuquerque, US)
  • Manfred Kerber (University of Birmingham, GB)
  • Claude Kirchner (LORIA & INRIA – Nancy, FR)
  • Michael Kohlhase (Jacobs Universität – Bremen, DE)
  • Alexander Leitsch (TU Wien, AT)
  • Reinhold Letz (TU München, DE)
  • Donald W. Loveland (Duke University – Durham, US)
  • Michael Lowry (NASA / RIACS – Moffett Field, US)
  • Christopher Lynch (Clarkson University – Potsdam, US)
  • Fabio Massacci (Università di Trento, IT)
  • Olga Shumsky Matlin (Northwestern University – Evanston, US)
  • David McAllester (TTIC – Chicago, US)
  • William McCune (Argonne National Laboratory, US)
  • Erica Melis (DFKI – Saarbrücken, DE)
  • Paliath Narendran (University of Albany – SUNY, US)
  • Robert Nieuwenhuis (UPC – Barcelona, ES)
  • Hans-Jürgen Ohlbach (LMU München, DE)
  • Jens Otten (TU Darmstadt, DE)
  • Brigitte Pientka (McGill University – Montreal, CA)
  • David A. Plaisted (University of North Carolina at Chapel Hill, US)
  • Alexandre Riazanov (University of Manchester, GB)
  • Renate Schmidt (University of Manchester, GB)
  • Manfred Schmidt-Schauss (Universität Frankfurt, DE)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Johann M. Schumann (NASA / RIACS – Moffett Field, US)
  • Natarajan Shankar (SRI – Menlo Park, US)
  • Jörg Siekmann (DFKI – Saarbrücken, DE)
  • Terrance Swift (SUNY – Stony Brook, US)
  • Andrei Voronkov (University of Manchester, GB)
  • Uwe Waldmann (MPI für Informatik – Saarbrücken, DE)
  • Christoph Walther (TU Darmstadt, DE)
  • Adnan Yahya (Universität Koblenz-Landau, DE)