Contact

Marktoberdorf Summer School
Tobias Nipkow
Institut für Informatik - I21
Technische Universität München
Boltzmannstr. 3
85748 Garching bei München
GERMANY

email: asimod@in.tum.de
phone: +49 89 289 17300 (Helma Piller)