Contact

Secretary (Compational Logic)

International Center for Computational Logic
Department of Computer Science
Technische Universität Dresden
01062 Dresden
Germany
Email: cl-secretary@iccl.tu-dresden.de
Telephone: +49 (0)351 463 38341