Willkommen beim

Dresdens Site für Wissenstechnologien und Logik in der Informatik
Unsere Gruppen

Forschungsgruppen stellen sich vor

Automatentheorie

Franz Baader

Herr Prof. Dr.-Ing. Franz Baader wurde 2002 auf die Professur für Automatentheorie berufen. Seine Professur bietet grundlegende und vertiefende Lehrveranstaltungen für verschiedene Studiengänge an, und forscht auf den Gebieten Deduktion, Wissens… weiterlesen

Neuigkeit vom 23. September 2026

Hannes Straß und Pascal Kettmann gewinnen den Harold Boley Distinguished Paper Award

Mehr erfahren

International Center for Computational Logic

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:

Mitarbeiter und Gäste

Personen beim International Center for Computational Logic

Neueste Publikationen

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

Tim Lyon, Piotr Ostropolski-Nalewaja
Foundations for an Abstract Proof Theory in the Context of Horn Rules
ACM Transactions on Computational Logic, 27(4), October 2026
Details

Christel Baier, Sascha Klüppelholz, Timm Spork
Probabilistic Model Checking via Families of Deterministic and Unambiguous Finite Automata
In Ana Sokolova, Patrick Totzke, eds., 37th International Conference on Concurrency Theory (CONCUR 2026), volume 391 of Leibniz International Proceedings in Informatics (LIPIcs), 15:1 - 15:19, August 2026. Schloss Dagstuhl- Leibniz-Zentrum für Informatik
Details Download

Sebastian Rudolph
Pseudo-Closed Family Verification is NP-Complete (Or: How Claude Helped Tackle Bernhard’s Problem)
In Madalina Croitoru, Domingo López-Rodríguez, Gerd Stumme, eds., The Third International Joint Conference on Conceptual Knowledge Structures (CONCEPTS 2026), volume 16811 of LNCS, 3-19, 2026. Springer
Details Download

Komplette Publikationsliste anzeigen