International Center for Computational Logic
From International Center for Computational Logic
Research groups introduced:
Computational Logic
Sebastian Rudolph
The Computational Logic (CL) group is focusing on modeling and reasoning aspects of logic-based knowledge representation. We are interested both in the mathematical and formal foundations of diverse knowledge representation paradigms but also in… read on
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:
- 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
Newest Publications
Tim Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Bulletin of the Section of Logic, 2025
Details
Tim Lyon
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon, Ian Shillito, Alwen Tiu
Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
In Jörg Endrullis, Sylvain Schmitz, eds., Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic 2025, volume 326 of LIPIcs, 2025. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Tim Lyon
On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
Proceedings of the Eleventh International Conference on Fundamentals of Software Engineering (FSEN), LNCS, to appear. Springer
Details
NEWS
January 20, 2025ICCL Researchers Contribute to Lean Standard Library
November 20, 2024Jonas Karge Wins Student Best Paper Award at PRIMA24
November 5, 2024July 1, 2024CACM blog article on work-family balance in academia by ICCL researcher Luisa Herrmann
June 13, 2024Markus Krötzsch Wins 2024 Teaching Award
... further resultsEVENTS
Our Projects
Our Partners
