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
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