Contact https://tu-dresden.de/ing/informatik/studium/studienangebot/master-studiengaenge/master-computational-logic/contact https://tu-dresden.de/logo.png 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