Contact

Karlsruhe Group

KIT

Karlsruhe Institute of Technology
Institute of Theoretical Informatics
Prof. Dr. Bernhard Beckert
Am Fasanengarten 5
76128 Karlsruhe
Germany
Phone:

Fax:

Email:

Gothenburg Group

Chalmers

Chalmers University of Technology
Department of Computing Science
Prof. Dr. Wolfgang Ahrendt
Rännsvägen 6b
S-41296 Gothenburg
Sweden
Phone:

Fax:

Email:

Darmstadt Group

TU Darmstadt

Technische Universität Darmstadt
Fachgebiet Software Engineering
Prof. Dr. Reiner Hähnle
Hochschulstr. 10
64289 Darmstadt
Germany
Phone:

Fax:

Email:

In case of general questions about KeY please contact: support@key-project.org.