Research Groups in Rewriting

---

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

---

(sorted by town)

• Aachen (Germany)
  Programming Languages and Verification group
  Rheinisch-Westfälische Technische Hochschule (RWTH)
  Contact: Jürgen Giesl

• Albany, NY (USA)
  Institute for Informatics, Logics and Security Studies (ILS)
  State University of New York at Albany
  Contact: Paliath Narendran

• Albuquerque, NM (USA)
  Automated Reasoning group
  University of New Mexico
  Contact: Deepak Kapur, William McCune

• Amsterdam (The Netherlands)
  Software Engineering group
  Centrum voor Wiskunde en Informatica (CWI)
  Contact: Paul Klint

• Barcelona (Spain)
  Programming group
  Universitat Politècnica de Catalunya (UPC)
  Contact: Robert Nieuwenhuis

• Bordeaux (France)
  Modeling, verifying and testing computerized systems group
  Laboratoire Bordelais de Recherche en Informatique (LaBRI)
  Contact: André Arnold

• Buenos Aires (Argentina)
  Group: Reescritura, cálculo lambda y sistemas de tipos
  Faculty: Faculty of Science of the University of Buenos Aires
  Contact: Eduardo Bonelli (ebonelli @ dc.uba.ar), and Alejandro Ríos (rios @ dc.uba.ar)

• Cachan (France)
  Laboratoire Spécification et Vérification (LSV)
  Contact: Hubert Comon

• Cambridge (UK)
  Computer Laboratory
  University of Cambridge
  Contact: Ursula Martin
  (See also London)

• Chapel Hill, NC (USA)
  Mechanized Inference group
  University of North Carolina at Chapel Hill (UNC-CH)
  Contact: David Plaisted

• Chicago, IL (USA)
  University of Chicago
  Contact: Michael J. O'Donnell

• Dresden (Germany)
  Institute for Theoretical Computer Science
  TU Dresden
  Contact: Franz Baader

• Frankfurt am Main (Germany)
  Artificial Intelligence and Software Technology group
  Johann Wolfgang Goethe-Universität
  Contact: Manfred Schmidt-Schauß

• Innsbruck (Austria)
  Institute of Computer Science
  University of Innsbruck
  Contact: Aart Middeldorp

• Iowa City, IA (USA)
  Automated Reasoning group
  University of Iowa
  Contact: Hantao Zhang

• Jerusalem (Israel)
  Database Research Group
  The Hebrew University of Jerusalem
  Contact: Yehoshua Sagiv

• Kaiserslautern (Germany)
  Formal Methods and Deduction group, Foundations of Informatics group
  Universität Kaiserslautern
  Contacts: Jürgen Avenhaus, Klaus Madlener

• Leicester (UK)
  • University of Leicester
    Contact: Fer-Jan de Vries

• Lille (France)
  Logique, Automates et Contraintes group (LAC)
  Laboratoire d'Informatique Fondamentale de Lille (LIFL)
  Contact: Sophie Tison

• London (UK)
  Computer Science Department
  Queen Mary University of London
  Contact: Ursula Martin
  (See also Cambridge)

• Lyon (France)
  Laboratoire de l'Informatique du Parallélisme (LIP)
  École Normale Supérieure de Lyon
  Contact: Pierre Lescanne

• Madrid (Spain)
  Universidad Complutense de Madrid (UCM)
  Contact: Mario Rodriguez-Artalejo

• Menlo Park, CA (USA)
  Rewriting Logics and Systems
  Computer Science Laboratory, SRI International

• Munich (Germany)
  • Unification and Deduction group
    Centrum für Informations-und Sprachverarbeitung (CIS)
    Ludwig-Maximilians-Universität München
    Contact: Klaus U. Schulz
  • Theorem Proving group
    Technische Universität München (TUM)
    Contact: Tobias Nipkow

• Nancy (France)
  • CASSIS group,
    Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
    Contact: Michaël Rusinowitch
  • PAREO group
    Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA)
    Contact: Pierre-Etienne Moreau

• Orsay (France)
  DÉMONS group
  Laboratoire de Recherche en Informatique (LRI)
  Contact: Jean-Pierre Jouannaud

• Paris (France)
  The Coq Project
  INRIA Rocquencourt
  Contact: Gérard Huet

• Potsdam, NY (USA)
  Clarkson University
  Contact: Christopher Lynch

• Saarbrücken (Germany)
  • Programming Logics group
    Max-Planck-Institut für Informatik (MPI)
    Contact: Harald Ganzinger
  • Programming Systems group
    Universität des Saarlandes
    Contact: Gert Smolka

• San Diego, CA (USA)
  Meaning and Computation Lab
  University of California at San Diego
  Contact: Joseph Goguen

• Sendai (Japan)
  Logic for Information Science (Toyama laboratory)
  Tohoku University
  Contact: Yoshihito Toyama

• Stony Brook, NY (USA)
  State University of New York at Stony Brook (SUNY-SB)
  Contact: Leo Bachmair

• Taipei (Taiwan)
  Department of Computer Science and Information Engineering
  National Taiwan University
  Contact: Jieh Hsiang

• Tel Aviv (Israel)
  Tel Aviv University
  Contact: Nachum Dershowitz

• Tsukuba (Japan)
  Symbolic Computation Research group
  Institute of Information Sciences and Electronics
  University of Tsukuba
  Contact: Tetsuo Ida

• Urbana, IL (USA)
  University of Illinois at Urbana-Champaign
  Contact: Jose Meseguer

• Valencia (Spain)
  ELP group
  Universidad Politécnica de Valencia (UPV)
  Contact: Maria Alpuente

• Verona (Italy)
  Università degli Studi di Verona
  Contact: Maria Paola Bonacina

• Vienna (Austria)
  Theory and Logic group
  Institute of Computer Languages
  Technisch Universität Wien
  Contact: Bernhard Gramlich

---

Realized by Nachum Dershowitz and Laurent Vigneron.
Last modified: 16-Oct-2008.