Contact Details

Karlsruhe Group

Karlsruhe Institute of Technology
Institute of Theoretical Informatics
c/o Lilian Beckert
76128 Karlsruhe
Germany
Phone: +49-721-608-43919
Fax: +49-721-608-44211
Email: key@ira.uka.de

Gothenburg Group

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

TU Darmstadt Group

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