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 January 20, 2025

ICCL Researchers Contribute to Lean Standard Library

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

Lukas Gerlach
Chase Termination - Analytical Hierarchy, Disjunctions, Sufficient Conditions
Talk at Description Logics Seminar, April 2025
Details

David Carral, Lukas Gerlach, Lucas Larroque, Michaël Thomazo
Restricted Chase Termination: You Want More than Fairness
Proc. ACM Manag. Data, 3(2 (PODS)), to appear
Details Download

Bartosz Bednarczyk, Julien Grange
About the Expressive Power and Complexity of Order-Invariance with Two Variables
Logical Methods in Computer Science, 21(1):30:1--30:28, March 2025
Details Download

Lukas Gerlach
Formalizing Possibly Infinite Trees of Finite Degree
Talk at Workshop: Leaning In!, March 2025
Details

View full publication list