International Center for Computational Logic

From International Center for Computational Logic


International Center for Computational Logic

EbD-rightmargin.png

                  

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

Portrait Luisa HerrmannPortrait Manuel BodirskyPortrait Sandy SeifarthPortrait Elisa BöhlPortrait Lukas GerlachPortrait Markus KrötzschPortrait Ramona BehlingPortrait Dörthe ArndtPortrait Jonas KargePortrait Sarah Alice GagglPortrait Kati DomannPortrait Hannes StraßPortrait Simon RazniewskiPortrait Rajab AghamovPortrait Alex IvlievPortrait Piotr GorczycaPortrait Sebastian RudolphPortrait Philipp HanischPortrait Larry GonzálezPortrait Knut BerlingPortrait Stefan BorgwardtPortrait Maximilian MarxPortrait Christel BaierPortrait Franz BaaderPortrait Piotr Ostropolski-NalewajaPortrait Stephan MennickePortrait Martin DillerPortrait Matthias MeißnerPortrait Karina AdlerPortrait Tim LyonPortrait Sergei ObiedkovPortrait Pascal KettmannPortrait Kerstin AchtruthPortrait Sascha KlüppelholzPortrait Filippo De Bortoli


Newest Publications

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
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, to appear. 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, to appear. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details
View full publication list