Welcome to the

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

Research groups introduced:

Algebraic and Logical Foundations of Computer Science

Christel Baier

The chair of Algebraic and Logical Foundations of Computer Science researches the modeling, specification and verification of reactive systems. The focus is on the formal analysis and synthesis of stochastic systems and on explainability in … read on

News of January 13, 2026

Tim Lyon has joined the editorial board of the Bulletin of the Section of Logic

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

Piotr Gorczyca, Hannes Straß
Non-Monotonic S4F Standpoint Logic
Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI-26), volume 40 (23), 19126–19134, January 2026
Details Download

Raimund Dachselt, Lukas Gerlach, Philipp Hanisch, Alex Ivliev, Markus Krötzsch, Maximilian Marx, Julián Méndez
Declarative Debugging for Datalog with Aggregation
In Alexander Krause, João Felipe Pimentel, eds., Proceedings of the Workshops of the EDBT/ICDT 2026 Joint Conference (EDBT/ICDT-WS 2026), Tampere, Finland, March 24, 2026, CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Philipp Hanisch, Markus Krötzsch
Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
In Balder ten Cate, Maurice Funk, eds., Proceedings of the 29th International Conference on Database Theory, volume 365 of LIPIcs, 2026. Dagstuhl Publishing
Details Download

Sergei Obiedkov, Barış Sertkaya
AFCA: Searching for Complete Extensions via Enumeration of a Closure System
In Iosif Apostolakis, Andrei Popesci, Johannes P. Wallner, eds., Solver and Benchmark Descriptions of ICCMA 2025: Sixth International Competition on Computational Models of Argumentation, 11–12, 2026
Details Download

View full publication list