After more than 10 years of service, the Dresden Technology Portal will cease operations in the near future.
We will provide a link to the successor service once it goes live.
Please do not update any equipment entries here anymore. Use the new portal from now on.
We will provide a link to the successor service once it goes live.
Please do not update any equipment entries here anymore. Use the new portal from now on.
International Center for Computational Logic (ICCL)
Parent Units:Technische Universität Dresden (TUD)
Contact
| web: | https://iccl.inf.tu-dresden.de/web/International_Center_for_Computational_Logic | |
| email: | ||
| phone: | +49 (0)351 463-38340 | |
| fax: | +49 (0)351 463-38342 | |
| postal address: | Technische Universität Dresden (TUD), International Center for Computational Logic (ICCL), 01062 Dresden, Germany | |
| office address: | Technische Universität Dresden (TUD), International Center for Computational Logic (ICCL), Nöthnitzer Str. 46, 01187 Dresden, Germany | |
| partner: | Technische Universität Dresden |  |
Expertise
In October 2003, the International Center for Computational Logic (ICCL) was founded at TU Dresden. It is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Logic, and Formal Methods in Computer Science.
Affiliations
Parent Units
| name | type | actions |
|---|---|---|
| Faculty of Computer Science | Faculty |  view |
Last Update
Last updated at: 2016-07-06 09:59