International Center for Computational Logic

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:

• Algebra and Discrete Structures
• Algebraic and Logical Foundations of Computer Science
• Automata Theory
• Computational Logic
• Knowledge-aware Artificial Intelligence
• Logic Programming and Argumentation
• Knowledge-Based Systems

Members and Guests

People at the International Center for Computational Logic

Newest Publications

Lukas Gerlach
The Chase in Lean - Crafting a Formal Library for Existential Rule Research
KR 2026, to appear
Details Download

Luisa Herrmann, Johannes Osterholzer
Non-Global Parikh Tree Automata
Journal of Automata, Languages and Combinatorics, to appear
Details

Luisa Herrmann, Richard Mörbitz
Global one-counter tree automata
Theoretical Computer Science, 1071, 2026
Details

Jonas Karge
Human-AI Ranking Aggregation
Talk, 2026
Details

View full publication list

NEWS

January 13, 2026

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

November 27, 2025

Best demo award for GPTKB at ISWC

October 23, 2025

Dörthe Arndt wins Rule Challenge Best Paper Award at RuleML+RR 2025

September 30, 2025

Filippo De Bortoli wins Best Student Paper Award at FroCoS 2025

January 20, 2025

ICCL Researchers Contribute to Lean Standard Library

… weitere Ergebnisse

iCal

EVENTS

April 30, 2026

Talk: TBA

Our Projects

Our Partners