September 30 – October 5 , 2007, Dagstuhl Seminar 07401
Last update: November 18 2011

Deduction and Decision Procedures

Participants

  • Markus Aderhold (TU Darmstadt, DE)
  • Franz Baader (TU Dresden, DE)
  • Domagoj Babic (Synopsys Inc. – Mountain View, US)
  • Peter Baumgartner (NICTA – Canberra, AU)
  • Bernhard Beckert (KIT – Karlsruher Institut für Technologie, DE)
  • Marc Bezem (University of Bergen, NO)
  • Aaron Bradley (University of Colorado – Boulder, US)
  • Sergiu Bursuc (University of Birmingham, GB)
  • Alessandro Cimatti (Bruno Kessler Foundation – Trento, IT)
  • Koen Claessen (Chalmers UT – Göteborg, SE)
  • Leonardo de Moura (Microsoft Research – Redmond, US)
  • Germain Faure (UPC – Barcelona, ES)
  • Alexander Fuchs (University of Iowa – Iowa City, US)
  • Silvio Ghilardi (University of Milan, IT)
  • Jürgen Giesl (RWTH Aachen, DE)
  • Reiner Hähnle (TU Darmstadt, DE)
  • Thomas Hillenbrand (MPI für Informatik – Saarbrücken, DE)
  • Jochen Hoenicke (Universität Freiburg, DE)
  • Dieter Hutter (DFKI – Saarbrücken, DE)
  • Deepak Kapur (University of New Mexico – Albuquerque, US)
  • Laura Kovács (TU Wien, AT)
  • Sava Krstic (Intel Corp. – Hillsboro, US)
  • Viktor Kuncak (EPFL – Lausanne, CH)
  • Temur Kutsia (Universität Linz, AT)
  • Christopher Lynch (Clarkson University – Potsdam, US)
  • Aart Middeldorp (Universität Innsbruck, AT)
  • Enrica Nicolini (CNRS – Nancy, FR)
  • Ilkka Niemelä (Helsinki University of Technology, FI)
  • Robert Nieuwenhuis (UPC – Barcelona, ES)
  • Tobias Nipkow (TU München, DE)
  • Claudia Obermaier (Universität Koblenz-Landau, DE)
  • Albert Oliveras (Polytechnic University of Catalonia, ES)
  • Ruzica Piskac (EPFL – Lausanne, CH)
  • Andreas Podelski (Universität Freiburg, DE)
  • Christophe Ringeissen (LORIA – Nancy, FR)
  • Enric Rodríguez-Carbonell (UPC – Barcelona, ES)
  • Albert Rubio (UPC – Barcelona, ES)
  • Philipp Rümmer (University of Oxford, GB)
  • Andrey Rybalchenko (TU München, DE)
  • Renate Schmidt (University of Manchester, GB)
  • Manfred Schmidt-Schauss (Goethe-Universität – Frankfurt a. M., DE)
  • Peter Schneider-Kamp (University of Southern Denmark – Odense, DK)
  • Stephan Schulz (TU München, DE)
  • Roberto Sebastiani (Università di Trento, IT)
  • Viorica Sofronie-Stokkermans (MPI für Informatik – Saarbrücken, DE)
  • Ofer Strichman (Technion – Haifa, IL)
  • Pierre-Yves Strub (Ecole Polytechnique – Palaiseau, FR)
  • René Thiemann (Universität Innsbruck, AT)
  • Cesare Tinelli (University of Iowa – Iowa City, US)
  • Andrei Voronkov (University of Manchester, GB)
  • Uwe Waldmann (MPI für Informatik – Saarbrücken, DE)
  • Christoph Walther (TU Darmstadt, DE)
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)
  • Volker Weispfenning (Universität Passau, DE)
  • Calogero G. Zarba (Universität des Saarlandes, DE)