Arbeitsgruppen
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 |