Dresden
Technologieportal

 
Ihr Zugang zu Forschungsinfrastruktur und Know-how
de|en

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