Contact

Karlsruhe Group

KIT

Karlsruhe Institute of Technology
Institute of Information Security and Dependability
Prof. Dr. Bernhard Beckert
Am Fasanengarten 5
76131 Karlsruhe
Germany
Phone: +49-721-608-44025
Fax: +49-721-608-44021
Email: beckert@kit.edu

Gothenburg Group

Chalmers

Chalmers University of Technology
Department of Computing Science
Prof. Dr. Wolfgang Ahrendt
Rännsvägen 6b
S-41296 Gothenburg
Sweden
Phone: +46-31-772-1011
Fax: +46-31-772-3663
Email: ahrendt@chalmers.se

Darmstadt Group

TU Darmstadt

Technische Universität Darmstadt
Fachgebiet Software Engineering
Prof. Dr. Reiner Hähnle
Hochschulstr. 10
64289 Darmstadt
Germany
Phone: +49-6151-16-21361
Fax: +49-6151-16-22361
Email: haehnle@cs.tu-darmstadt.de

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