Contact
From International Center for Computational Logic
Contact
The International Center for Computational Logic (ICCL) is a competence center of TU Dresden.
Visiting Address
The International Center for Computational Logic is located in the Andreas Pfitzmann Building, the main building of the Faculty of Computer Science. The visiting address is:
Fakultät für Informatik Nöthnitzer Straße 46 D-01187 Dresden GERMANY
The building is on the main campus of TU Dresden. The web site of the Faculty of Computer Science offers further information on how to find us.
Mail Address
TU Dresden Fakultät Informatik 01062 Dresden GERMANY
Bulk Mail Address
TU Dresden Fakultät Informatik Helmholtzstraße 10 01069 Dresden GERMANY
Web
- https://iccl.inf.tu-dresden.de (this site)
- alternative URL: http://computational-logic.org
