Contact

Secretary (Compational Logic)

International Center for Computational Logic
Department of Computer Science
Technische Universität Dresden
01062 Dresden
Germany
Email:
Telephone: +49 (0)351 463 39239