Deduktionssyteme verschiedenster Ausprägung werden an vielen deutschen Forschungsstandorten eingesetzt. Auf dieser Seite finden Sie eine Auswahl derjenigen Arbeitsgruppen, die in Deutschland im Themenbereich der Fachgruppe forschen oder der Fachgruppe auch im Ausland besonders verbunden sind.

Die Liste ist noch im Aufbau. Informationen zu Veränderungen oder möglichen Ergänzungen der Liste nehmen die Sprecher der Fachgruppe dankend entgegen.

Aachen:

Jürgen Giesl, Programmiersprachen und Verifikation, RWTH Aachen

Berlin:

Christoph Benzmüller, FU Berlin

Birmingham:

Manfred Kerber, School of Computer Science, University of Birmingham

 

Volker Sorge, School of Computer Science, University of Birmingham

Bremen:

Dieter Hutter, Cyber-Physical Systems, DFKI Bremen

 

Michael Kohlhase, Knowledge Adaption and Reasoning for Content, Jacobs University Bremen

 

Serge Autexier, Cyber-Physical Systems, DFKI Bremen

Dresden:

Franz Baader, Automatentheorie, TU Dresden

Freiburg:

Bernd Becker, Institut für Rechnerarchitektur, Universität Freiburg

Götheborg:

Wolfgang Ahrend, Department of Computer Science and Engineering, Chalmers University of Technology und University of Gothenburg

Innsbruck:

Cezary Kaliszyk, Computational Logic group, Universität Innsbruck

Karlsruhe:

Bernhard Beckert, Anwendungsorientierte Formale Verifikation, Karlsruher Institut für Technologie

 

Carsten Sinz, Verifikation trifft Algorithmik, Karlsruher Institut für Technologie

 

Gregor Snelting, Programmierparadigmen, Karlsruher Institut für Technologie

 

Peter Schmitt, Logik und formale Methoden, Karlsruher Institut für Technologie

Koblenz:

Ulrich Furbach, Künstliche Intelligenz, Universität Koblenz-Landau

 

Viorica Sofronie-Stokkermans, Formale Methoden und Theoretische Informatik, Universität Koblenz-Landau

Linz:

Armin Biere, Institute for Formal Models and Verification, Johannes Kepler Universität

Manchester:

Renate Schmidt, Formal Methods, University of Manchester

München:

Tobias Nipkow, Logik und Verifikation, TU München

Nancy:

Jasmin Blanchette, Verification of Distributed Systems, INRIA Nancy

 

Stephan Merz, Verification of Distributed Systems, INRIA Nancy

Potsdam:

Christoph Kreitz, Theoretische Informatik, Universität Potsdam

 

Jens Otten, Universität Potsdam

Saarbrücken:

Christoph Weidenbach, Automatisierung der Logik, Max-Planck-Institut für Informatik

 

Gerd Smolka, Programming Systems Lab, Universität des Saarlandes

Sheffield:

Georg Struth, Department of Computer Science, University of Sheffield

Stuttgart:

Stephan Schulz, Duale Hochschule Baden-Württemberg

Wien:

Alexander Leitsch, Theory and Logic, TU Wien

 

Matthias Baaz, Theory and Logic, TU Wien