Kontakt 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