September 10 – 15 , 2017, Dagstuhl Seminar 17371
Last update: March 8 2018

Deduction Beyond First-Order Logic

Participants

  • Franz Baader (TU Dresden, DE) [dblp]
  • Christoph Benzmüller (FU Berlin, DE) [dblp]
  • Nikolaj S. Bjørner (Microsoft Corporation – Redmond, US) [dblp]
  • Jasmin Christian Blanchette (VU University of Amsterdam, NL) [dblp]
  • James Brotherston (University College London, GB) [dblp]
  • Chad E. Brown (Czech Technical University – Prague, CZ) [dblp]
  • Hans de Nivelle (University of Wroclaw, PL) [dblp]
  • Pascal Fontaine (LORIA & INRIA – Nancy, FR) [dblp]
  • Carsten Fuhs (Birkbeck, University of London, GB) [dblp]
  • Jürgen Giesl (RWTH Aachen, DE) [dblp]
  • Georges Gonthier (INRIA Saclay – Île-de-France, FR) [dblp]
  • Reiner Hähnle (TU Darmstadt, DE) [dblp]
  • Swen Jacobs (Universität des Saarlandes, DE) [dblp]
  • Moa Johansson (Chalmers University of Technology – Göteborg, SE) [dblp]
  • Cezary Kaliszyk (Universität Innsbruck, AT) [dblp]
  • Deepak Kapur (University of New Mexico – Albuquerque, US) [dblp]
  • Chantal Keller (University of Paris Sud – Orsay, FR) [dblp]
  • Cynthia Kop (University of Copenhagen, DK) [dblp]
  • Konstantin Korovin (University of Manchester, GB) [dblp]
  • K. Rustan M. Leino (Microsoft Corporation – Redmond, US) [dblp]
  • Tomer Libal (INRIA Saclay – Île-de-France, FR) [dblp]
  • Tobias Nipkow (TU München, DE) [dblp]
  • Naoki Nishida (Nagoya University, JP) [dblp]
  • Andrei Paskevich (University of Paris Sud – Orsay, FR) [dblp]
  • Ruzica Piskac (Yale University – New Haven, US) [dblp]
  • Andrei Popescu (Middlesex University – London, GB) [dblp]
  • Andrew Joseph Reynolds (University of Iowa – Iowa City, US) [dblp]
  • Philipp Rümmer (Uppsala University, SE) [dblp]
  • Renate Schmidt (University of Manchester, GB) [dblp]
  • Stephan Schulz (Duale Hochschule Baden-Württemberg – Stuttgart, DE) [dblp]
  • Thomas Sewell (Data61 – Sydney, AU) [dblp]
  • Natarajan Shankar (SRI – Menlo Park, US) [dblp]
  • Mihaela Sighireanu (University Paris-Diderot, FR) [dblp]
  • Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) [dblp]
  • Alexander Steen (FU Berlin, DE) [dblp]
  • Sorin Stratulat (University of Lorraine – Metz, FR) [dblp]
  • Thomas Ströder (Metro Systems GmbH – Düsseldorf, DE) [dblp]
  • Martin Suda (TU Wien, AT) [dblp]
  • Laurent Théry (INRIA Sophia Antipolis, FR) [dblp]
  • Cesare Tinelli (University of Iowa – Iowa City, US) [dblp]
  • Josef Urban (Czech Technical University – Prague, CZ) [dblp]
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE) [dblp]


In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner