Research Groups

The following are some of the research groups specializing in the area of automated reasoning.

ATINF group: logics and mechanization of inference, Laboratoire Leibniz, Institut IMAG
http://www-leibniz.imag.fr/ATINF/Welcome-ENG.html

Automated Reasoning Group, Argonne National Labs
http://www-unix.mcs.anl.gov/AR/

Automated Reasoning Group, Australia National University
http://web.rsise.anu.edu.au/csl/postnuke/html/index.php?module=
ContentExpress&func=display&ceid=4&myignore=index.html

Automated Reasoning Group, University of Cambridge Computer Laboratory
http://www.cl.cam.ac.uk/Research/HVG/

Automated Reasoning Group, TU Munich
http://www.tcs.informatik.uni-muenchen.de/~letz/

Automated Reasoning Systems group, IRST, Trento
http://sra.itc.it/index.epl

Boolean Satisfiability Research group, Princeton
http://www.ee.princeton.edu/~chaff/index.php

Calligramme group, INRIA Lorraine
http://www.loria.fr/equipes/calligramme

CASSIS: Combining ApproacheS for the Security of Infinite state Systems, INRIA Lorraine
http://www.loria.fr/equipes/cassis/

CROAP: design and implementation of programming languages group, INRIA Sophia Antipolis
http://www-sop.inria.fr/croap/CROAP-eng.html

Deduction and Mutliagent Systems, DFKI
http://www.dfki.de/dmas/

Dependable System Group, Dept of Computing and Electrical Engineering, Heriot Watt University
http://www.cee.hw.ac.uk/~dsg/

Formal Methods & Deduction, Dept. of Informatics, Technical University of Kaiserslautern
http://www-avenhaus.informatik.uni-kl.de/ag-avenhaus/Avenhaus_english.html

Formal Methods Group, Dept of Computer Science, ETH Zurich
http://www.inf.ethz.ch/personal/biere/group/

Formal Methods Group, Institute for Computer Design and Fault Tolerance at the University of Karlsruhe http://goethe.ira.uka.de/fmg/

Formal Methods & Dependable Systems group, SRI
http://www.csl.sri.com/programs/formalmethods/

Foundations of Informatics, Universitat Kaiserslautern
http://agent.informatik.uni-kl.de/ag-madlener/

Information Security Group, ETH Zurich
http://www.infsec.ethz.ch/

KIV Team, Fakultat fur Informatik, Universitat Karlsruhe
http://i11www.ira.uka.de/~kiv/KIV-KA.html#TEAM

Knowledge-Based Systems Group, TU Wien
http://www.kr.tuwien.ac.at/

Knowledge Representation and Reasoning group, School of Computing, University of Leeds http://www.comp.leeds.ac.uk/research/krr/index.shtml

Knowledge Representation and Reasoning group, TU Dresden
http://www.wv.inf.tu-dresden.de/

Laboratoire Specification et Verification (LSV), ENS de Cachan
http://www.lsv.ens-cachan.fr/Presentation/index-en.php

Langley Formal Methods group, NASA
http://shemesh.larc.nasa.gov/fm/

LogiCal, INRIA and CNRS
http://logical.inria.fr/

Logic and Computation Group, Dept of Computer Science, University of Liverpool
http://www.csc.liv.ac.uk/research/logics/

Logic, Interaction, Language and Computation group, IRIT
http://www.irit.fr/ACTIVITES/LILaC/

Logic group, Laboratory for Theoretical Computer Science, HUT
http://www.tcs.hut.fi/Research/Logic/

Mathematical Reasoning Group, School of Informatics, University of Edinburgh
http://dream.dai.ed.ac.uk/

Mechanized Reasoning Group, DIST, Universita di Genova
http://www.mrg.dist.unige.it/

Mechanized Reasoning Group, IRST, Trento
MIMIC group, 4C, University College Cork
http://4c.ucc.ie/mimic/

Mizar project group, University of Bialystok
http://www.mizar.org/project/

Model Checking group, Carnegie Mellon University
http://www-2.cs.cmu.edu/~modelcheck/

Omega Group, DFKI and Saarland University
http://www.ags.uni-sb.de/~omega/

PRL automated reasoning group, Cornell University
http://www.Nuprl.org/

Programming and Modelliing Languages group, Ludwig Maximilans Universitat Munchen
http://www.pms.informatik.uni-muenchen.de/index-e.html

Programming Group, LSI Department, UPC
http://www.lsi.upc.es/~roberto/secp.html

Programming Languages and Verification group, Dept of Computer Science, RWTH Aachen
http://www-i2.informatik.rwth-aachen.de/lufgi2/index_e.html

Programming Logics group, MPI, Saarbrucken
http://www.mpi-sb.mpg.de/units/ag2/

Programming Systems Lab, DFKI, Saarbrucken
http://ps-www.dfki.uni-sb.de/

PROTHEO group, INRIA Lorraine
http://www.loria.fr/equipes/protheo//

REACT research group, Stanford University
http://theory.stanford.edu/~zm/react.html

Scottish Theorem Proving group
http://www.dcs.gla.ac.uk/provers/stp/

Software Correctness and Safety Research Laboratory, School of Information Technology
and Engineering, University of Ottawa
http://www.site.uottawa.ca/~afelty/scas.html

Software Design Group, MIT Laboratory for Computer Science
http://sdg.lcs.mit.edu/

Symbolic Computation Group, University of Tubingen
http://www-sr.informatik.uni-tuebingen.de/

Theorem Proving Group, Institut fur Informatik, TU Munchen
http://www4.informatik.tu-muenchen.de/proj/theoremprov/group.html

Theory and Logic group, TU Wien
http://www.logic.at/e1852.html

Types group (logic, proof theory and programming), INRIA Lorraine
http://www.loria.fr/prne.php?mn=equipes&lg=en&ct=00625

 

  Sponsored by: