Welcome to the

Dresden's new home for knowledge technologies and logic in computer science.
Our groups

Research groups introduced:

Algebra and Discrete Structures

Manuel Bodirsky

Research Group at the Institute of Algebra at the Faculty of Mathematics of TU Dresden. Fields of I… read on

News of July 9, 2026

Course on Standpoint Logic at ESSAI 2026 by Tim Lyon and Hannes Straß

Learn more

International Center for Computational Logic

The International Center for Computational Logic (ICCL) is an interdisciplinary center of competence in research and teaching in the field of Computational Logic, with special emphasis on Algebra, Knowledge Representation, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003. The following research groups are associated with ICCL:

Members and Guests

People at the International Center for Computational Logic

Newest Publications

Rajab Aghamov, Christel Baier, Toghrul Karimov, Joël Ouaknine, Jakob Piribauer
Linear dynamical systems with weight functions
Nonlinear Analysis: Hybrid Systems, 60:101680, 2026
Details

Rajab Aghamov, Andrey Kudinov, Maik Nguyen, Jakob Piribauer
On Modal Logics of Full Products of Neighborhood Frames
Advances in Modal Logic, volume 16, 2026. College Publications
Details

Rajab Aghamov, Christel Baier, Joël Ouaknine, Jakob Piribauer, Mihir Vahanwala, Isa Vialard
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
In Sven Koenig, Chad Jenkins, Matthew E. Taylor, eds., Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), volume 40, 36601–36609, 2026. AAAI Press
Details

Nils Küchenmeister, Alex Ivliev, Dörthe Arndt, Markus Krötzsch
Stratified Negation in RDF Rules: A Correct Approach
In Manolis Koubarakis, Maria-Esther Vidal, Axel Polleres, Marieke van Erp, Ernesto Jimenez Ruiz, Oshani Seneviratne, Lora Aroyo, Gianluca Demartini, Reham Alharbi, Roberto Barile, Claudia d'Amato, Valentina Tamma, eds., Proceedings of the 25th International Semantic Web Conference (ISWC 2026), to appear. Springer
Details Download

View full publication list