September 8 – 13 , 2019, Dagstuhl Seminar 19371
Last update: February 20 2020

Deduction Beyond Satisfiability

Participants

  • Alexander Bentkamp (Free University Amsterdam, NL) [dblp]
  • Nikolaj S. Bjørner (Microsoft Research – Redmond, US) [dblp]
  • Maria Paola Bonacina (Università degli Studi di Verona, IT) [dblp]
  • Florent Capelli (INRIA Lille, FR) [dblp]
  • Warren Del-Pinto (University of Manchester, GB) [dblp]
  • Rayna Dimitrova (University of Leicester, GB) [dblp]
  • Pascal Fontaine (LORIA & INRIA – Nancy, FR) [dblp]
  • Florian Frohn (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Carsten Fuhs (Birkbeck, University of London, GB) [dblp]
  • Jürgen Giesl (RWTH Aachen, DE) [dblp]
  • Alberto Griggio (Bruno Kessler Foundation – Trento, IT) [dblp]
  • Arie Gurfinkel (University of Waterloo, CA) [dblp]
  • Reiner Hähnle (TU Darmstadt, DE) [dblp]
  • Matthias Heizmann (Universität Freiburg, DE) [dblp]
  • Benjamin Kaminski (RWTH Aachen, DE) [dblp]
  • Laura Kovács (TU Wien, AT) [dblp]
  • Quang Loc Le (Teesside University – Middlesbrough, GB) [dblp]
  • Alexander Leitsch (TU Wien, AT) [dblp]
  • Anthony W. Lin (TU Kaiserslautern, DE) [dblp]
  • Joao Marques-Silva (Federal University – Toulouse, FR) [dblp]
  • David Monniaux (VERIMAG – Grenoble, FR) [dblp]
  • Alexander Nadel (Intel Israel – Haifa, IL) [dblp]
  • Claudia Nalon (University of Brasilia, BR) [dblp]
  • Naoki Nishida (Nagoya University, JP) [dblp]
  • Quoc Sang Phan (Synopsys Inc. – Mountain View, US) [dblp]
  • Ruzica Piskac (Yale University – New Haven, US) [dblp]
  • Albert Rubio (Complutense University of Madrid, ES) [dblp]
  • Philipp Rümmer (Uppsala University, SE) [dblp]
  • Andrey Rybalchenko (Microsoft Research – Cambridge, GB) [dblp]
  • Renate Schmidt (University of Manchester, GB) [dblp]
  • Martina Seidl (Johannes Kepler Universität Linz, AT) [dblp]
  • Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) [dblp]
  • Sorin Stratulat (University of Lorraine – Metz, FR) [dblp]
  • Andrzej Szalas (University of Warsaw, PL) [dblp]
  • Tachio Terauchi (Waseda University – Tokyo, JP) [dblp]
  • Cesare Tinelli (University of Iowa – Iowa City, US) [dblp]
  • Sophie Tourret (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Andrei Voronkov (University of Manchester, GB & EasyChair) [dblp]
  • Uwe Waldmann (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Thomas Wies (New York University, US) [dblp]
  • Sarah Winkler (University of Verona, IT) [dblp]


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