This page is still under construction, so it is by no means complete.
For a better service to the mechanized
Reasoning community we need your help, so please contribute!.
Send any links, suggestions, encouragement, or
donations by clicking
here.
University Research Groups specializing on Mechanized Reasoning
Index Research Groups (Ordered by Head of Group)
-
Andrews' TPS group at CMU
-
Argonne Group (Argonne National Labs)
-
Avenhaus, Universität Kaiserslautern, Germany
- Baader,
Rheinisch-Westfälische Hochschule Aachen, Germany
-
Bry, Ludwig-Maximilians-Universität München
- Bibel,
Technische Hochschule Darmstadt, Germany
- Bledsoe and Boyer (Austin Texas, USA)
- Bundy's DReaM group Department of AI, University of Edinburgh, Scotland.
Automated Reasoning Group at the
- University of Cambridge Computer Laboratory's
Automated Reasoning Group
- The Croap group
- Fronhöfer,
Technische Universität München, Germany
- Furbach,
Universität Koblenz, Germany
- Guinchigila's Mechanized Reasoning Group,
IRST, Trento, Italy.
- Ganzinger,
Max-Planck Institut für Informatik, Saarbrücken, Germany
- Hardware Verification Group at Karlsruhe
- Kirchner's PROTHEO group at INRIA Lorraine, Nancy, France.
- Küchlin, Universität Tübingen, Germany
- Leitsch, Technische Universität Wien
- Madlener,
Universität Kaiserslautern, Germany
- J Moore
(ACL2) University of Texas at Austin
- Slaney Australian National University
-
Nieuwenhuis (Tech. Univ. Catalonia, Barcelona, Spain)
- T. Nipkow,
Theorem Proving Group,
Technische Universität München, Germany
- Petermann, HTWK Leipzig, Germany
- Plaisted
University of North Carolina at Chapel Hill, USA
- Schmitt, Universität Karlsruhe, Germany
- Siekmann,
Universität des Saarlandes, Saarbrücken, Germany
- Smolka,
Deutsches Forschungszentrum für Künstliche Intelligenz, Saarbrücken, Germany
- Snelting,
Technische Universität Braunschweig, Germany
- Walther,
Technische Hochschule Darmstadt, Germany
This page comes to you courtesy of
Michael Kohlhase and
Carolyn Talcott.
Last updated 8 August 1996.