13. – 18. September 2015, Dagstuhl Seminar 15381
Letzte Aktualisierung: 19. Januar 2016

Information from Deduction: Models and Proofs

Participants

  • Noran Azmy (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Franz Baader (TU Dresden, DE) [dblp]
  • Peter Baumgartner (NICTA – Canberra, AU) [dblp]
  • Christoph Benzmüller (FU Berlin, DE) [dblp]
  • Nikolaj S. Bjorner (Microsoft Corporation – Redmond, US) [dblp]
  • Jasmin Christian Blanchette (INRIA Lorraine – Nancy, FR) [dblp]
  • Martin Bromberger (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Catherine Dubois (ENSIIE – Evry, FR) [dblp]
  • Bruno Dutertre (SRI – Menlo Park, US) [dblp]
  • Carsten Fuhs (Birkbeck, University of London, GB) [dblp]
  • Silvio Ghilardi (University of Milan, IT) [dblp]
  • Jürgen Giesl (RWTH Aachen, DE) [dblp]
  • Alberto Griggio (Bruno Kessler Foundation – Trento, IT) [dblp]
  • Arie Gurfinkel (Carnegie Mellon University – Pittsburgh, US) [dblp]
  • Liana Hadarean (University of Oxford, GB) [dblp]
  • Reiner Hähnle (TU Darmstadt, DE) [dblp]
  • Matthias Horbach (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Swen Jacobs (Universität des Saarlandes, DE) [dblp]
  • Dejan Jovanovic (SRI – Menlo Park, US) [dblp]
  • Deepak Kapur (University of New Mexico – Albuquerque, US) [dblp]
  • George Karpenkov (VERIMAG – Gières, FR) [dblp]
  • Zachary Kincaid (University of Toronto, CA) [dblp]
  • Konstantin Korovin (University of Manchester, GB) [dblp]
  • Christopher Lynch (Clarkson University – Potsdam, US) [dblp]
  • Aart Middeldorp (Universität Innsbruck, AT) [dblp]
  • Tobias Nipkow (TU München, DE) [dblp]
  • Albert Oliveras (UPC – Barcelona, ES) [dblp]
  • Andrei Paskevich (University Paris-Sud, FR) [dblp]
  • Alexander Rabinovich (Tel Aviv University, IL) [dblp]
  • Giles Reger (University of Manchester, GB) [dblp]
  • Albert Rubio (UPC – Barcelona, ES) [dblp]
  • Andrey Rybalchenko (Microsoft Research UK – Cambridge, GB) [dblp]
  • Stephan Schulz (Duale Hochschule Baden-Württemberg – Stuttgart, DE) [dblp]
  • Viorica Sofronie-Stokkermans (Universität Koblenz-Landau, DE) [dblp]
  • Christian Sternagel (Universität Innsbruck, AT) [dblp]
  • Geoff Sutcliffe (University of Miami, US) [dblp]
  • Cesare Tinelli (University of Iowa – Iowa City, US) [dblp]
  • Andrei Voronkov (University of Manchester, GB) [dblp]
  • Christoph Weidenbach (MPI für Informatik – Saarbrücken, DE) [dblp]
  • Sarah Winkler (Microsoft Research UK – Cambridge, GB) [dblp]
  • Burkhart Wolff (University Paris-Sud, FR) [dblp]
  • Jian Zhang (Chinese Academy of Sciences – Beijing, CN) [dblp]


Im Falle von Fehlern oder Fragen bezüglich den Links zu dblp, kontaktieren Sie bitte Michael Wagner