Contact

Karlsruhe Group

KIT

Karlsruhe Institute of Technology
Institute of Theoretical Informatics
Prof. Dr. Bernhard Beckert
Am Fasanengarten 5
76128 Karlsruhe
Germany
Phone: [email-obfuscate email=”+49-721-608-44025″ linkable=”0″]

Fax: [email-obfuscate email=”+49-721-608-44021″ linkable=”0″]

Email: [email-obfuscate 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: [email-obfuscate email=”+46-31-772-1011″ linkable=”0″]

Fax: [email-obfuscate email=”+46-31-772-3663″ linkable=”0″]

Email: [email-obfuscate 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: [email-obfuscate email=”+49-6151-16-21361″ linkable=”0″]

Fax: [email-obfuscate email=”+49-6151-16-22361″ linkable=”0″]

Email: [email-obfuscate email=”haehnle@cs.tu-darmstadt.de”]

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