Contact Details

If you would like to get information on future developments within the KeY project, updates, etc. please subscribe to the KeY mailing list.

Karlsruhe Group

University of Karlsruhe
Institute for Logic, Complexity and Deduction Systems
c/o Lilian Beckert
D-76128 Karlsruhe
Germany
Phone: +49-721-608-3919
Fax: +49-721-608-4211
Email: key@ira.uka.de

 

Koblenz Group

University of Koblenz
Institute for Informatics
Jun.-Prof. Dr. Bernhard Beckert
D-56070 Koblenz
Germany
Phone: +49-261-287-2775
Fax: +49-261-287-2731
Email: beckert@uni-koblenz.de

 

Gothenburg Group

Chalmers University of Technology
Department of Computing Science
Prof. Dr. Reiner Hähnle
S-41296 Gothenburg
Sweden
Phone: +46-31-772-1061
Fax: +46-31-165-655
Email: reiner@cs.chalmers.se