October 4 – 9 , 2009, Dagstuhl Seminar 09411
Last update: January 26 2011

Interaction versus Automation: The two Faces of Deduction

Participants

  • Franz Baader (TU Dresden, DE)
  • Domagoj Babic (Synopsys Inc. – Mountain View, US)
  • Thomas Ball (Microsoft Corporation – Redmond, US)
  • Peter Baumgartner (NICTA – Canberra, AU)
  • Bernhard Beckert (Universität Koblenz-Landau, DE)
  • Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US)
  • Maria Paola Bonacina (University of Verona, IT)
  • Richard Bubel (Chalmers UT – Göteborg, SE)
  • Michael Codish (Ben Gurion University – Beer Sheva, IL)
  • Carsten Fuhs (RWTH Aachen, DE)
  • Ulrich Furbach (Universität Koblenz-Landau, DE)
  • Jürgen Giesl (RWTH Aachen, DE)
  • Georges Gonthier (Microsoft Research UK – Cambridge, GB)
  • Reiner Hähnle (Chalmers UT – Göteborg, SE)
  • Thomas C. Hales (University of Pittsburgh, US)
  • Krystof Hoder (University of Manchester, GB)
  • Ranjit Jhala (University of California – San Diego, US)
  • Deepak Kapur (University of New Mexico – Albuquerque, US)
  • Vladimir Klebanov (Universität Koblenz-Landau, DE)
  • Laura Kovács (ETH Zürich, CH)
  • Alexander Krauss (TU München, DE)
  • Viktor Kuncak (EPFL – Lausanne, CH)
  • Assia Mahboubi (Ecole Polytechnique – Palaiseau, FR)
  • Claude Marché (University of Paris South XI, FR)
  • Aart Middeldorp (Universität Innsbruck, AT)
  • Wojciech Mostowski (Radboud University Nijmegen, NL)
  • Tobias Nipkow (TU München, DE)
  • Michael Norrish (NICTA – Canberra, AU)
  • Albert Oliveras (Polytechnic University of Catalonia, ES)
  • Wolfgang J. Paul (Universität des Saarlandes, DE)
  • Brigitte Pientka (McGill University – Montreal, CA)
  • André Platzer (Carnegie Mellon University, US)
  • Zvonimir Rakamaric (University of British Columbia – Vancouver, CA)
  • Albert Rubio (UPC – Barcelona, ES)
  • Andrey Rybalchenko (MPI-SWS – Saarbrücken, DE)
  • Renate Schmidt (University of Manchester, GB)
  • Manfred Schmidt-Schauss (Universität Frankfurt, DE)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Peter Schneider-Kamp (University of Southern Denmark – Odense, DK)
  • Gert Smolka (Universität des Saarlandes, DE)
  • Viorica Sofronie-Stokkermans (MPI für Informatik – Saarbrücken, DE)
  • Kurt Stenzel (Universität Augsburg, DE)
  • Aaron Stump (University of Iowa – Iowa City, US)
  • Laurent Théry (INRIA Sophia Antipolis – Méditerranée, FR)
  • René Thiemann (Universität Innsbruck, AT)
  • Christian Urban (TU München, DE)
  • Andrei Voronkov (University of Manchester, GB)
  • Christoph Walther (TU Darmstadt, DE)
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)
  • Benjamin Weiß (KIT – Karlsruher Institut für Technologie, DE)
  • Makarius Wenzel (TU München, DE)
  • Freek Wiedijk (Radboud University Nijmegen, NL)