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 CEST