International Center for Computational Logic (ICCL) (Zentrum)
übergeordnete Einrichtungen:Technische Universität Dresden (TUD)
Kontakt
Web: | https://iccl.inf.tu-dresden.de/web/International_Center_for_Computational_Logic | |
E-Mail: | ||
Telefon: | +49 (0)351 463-38340 | |
Fax: | +49 (0)351 463-38342 | |
Postanschrift: | Technische Universität Dresden (TUD), International Center for Computational Logic (ICCL), 01062 Dresden, Germany | |
Besucheradresse: | Technische Universität Dresden (TUD), International Center for Computational Logic (ICCL), Nöthnitzer Str. 46, 01187 Dresden, Germany | |
Partner: | Technische Universität Dresden |
Beschreibung
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.
Zugehörigkeit
übergeordnete Einrichtungen
Name |
Typ |
Aktionen |
---|---|---|
Fakultät Informatik | Fakultät | anzeigen |
Letztes Update
Letztes Update am: 06.07.2016 09:59 CEST