International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


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


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
Theory and Practice of Logic Programming, 24(4):772-789, July 2024
Details Download
View full publication list