Welcome to the

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

Research groups introduced:

Automata Theory

Franz Baader

Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. His chair offers basic and in-depth courses for various degree programmes, and conducts research in the areas of deduction, knowledge representation, as well as c… 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

...explainability by design

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

Tim Lyon, Lukas Zenger
Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents
Technical Report, TU Dresden, 2026
Details

Alex Ivliev, Markus Krötzsch, Maximilian Marx
SPARQLing Datalog for Rule-Based Reasoning over Large Knowledge Graphs (Extended Abstract)
In Marco Calautti, Matthias Lanzinger, eds., Proceedings of the 6th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2026), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

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

View full publication list