October 6 – 11 , 2013, Dagstuhl Seminar 13411
Last update: December 29 2013

Deduction and Arithmetic

Participants

  • Wolfgang Ahrendt (Chalmers UT – Göteborg, SE)
  • Jeremy Avigad (Carnegie Mellon University, US)
  • Peter Baumgartner (NICTA – Canberra, AU)
  • Bernhard Beckert (KIT – Karlsruher Institut für Technologie, DE)
  • Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US)
  • Jasmin Christian Blanchette (TU München, DE)
  • Richard Bubel (TU Darmstadt, DE)
  • Eva Darulova (EPFL – Lausanne, CH)
  • Leonardo de Moura (Microsoft Corporation – Redmond, US)
  • Stephan Falke (KIT – Karlsruher Institut für Technologie, DE)
  • Pascal Fontaine (LORIA – Nancy, FR)
  • Martin Fränzle (Universität Oldenburg, DE)
  • Carsten Fuhs (University College London, GB)
  • Jürgen Giesl (RWTH Aachen, DE)
  • Alberto Griggio (Bruno Kessler Foundation – Trento, IT)
  • Arie Gurfinkel (Carnegie Mellon University – Pittsburgh, US)
  • Reiner Hähnle (TU Darmstadt, DE)
  • James J. Hunt (aicas GmbH – Karlsruhe, DE)
  • Dejan Jovanovic (SRI – Menlo Park, US)
  • Tim A. King (New York University, US)
  • Konstantin Korovin (University of Manchester, GB)
  • Marek Kosta (MPI für Informatik – Saarbrücken, DE)
  • Jérôme Leroux (University of Bordeaux, FR)
  • Assia Mahboubi (INRIA Saclay – Île-de-France, FR)
  • Aart Middeldorp (Universität Innsbruck, AT)
  • David Monniaux (VERIMAG – Grenoble, FR)
  • Wojciech Mostowski (University of Twente, NL)
  • Tobias Nipkow (TU München, DE)
  • Grant Olney Passmore (University of Cambridge, GB & University of Edinburgh, GB)
  • Ruzica Piskac (Yale University, US)
  • André Platzer (Carnegie Mellon University, US)
  • Enric Rodríguez-Carbonell (UPC – Barcelona, ES)
  • Philipp Rümmer (Uppsala University, SE)
  • Peter H. Schmitt (KIT – Karlsruher Institut für Technologie, DE)
  • Carsten Sinz (KIT – Karlsruher Institut für Technologie, DE)
  • Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE)
  • Christian Sternagel (JAIST – Ishikawa, JP)
  • Thomas Sturm (MPI für Informatik – Saarbrücken, DE)
  • René Thiemann (Universität Innsbruck, AT)
  • Cesare Tinelli (University of Iowa – Iowa City, US)
  • Tjark Weber (Uppsala University, SE)
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE)