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 Ramona BehlingPortrait Sebastian RudolphPortrait Calvin ChauPortrait Markus KrötzschPortrait Robin ZiemekPortrait Maximilian MarxPortrait Franz BaaderPortrait Jonas KargePortrait Nikolai KäferPortrait Dörthe ArndtPortrait Stephan MennickePortrait Max KornPortrait Rajab AghamovPortrait Jakob PiribauerPortrait Sandy SeifarthPortrait Timm SporkPortrait Kati DomannPortrait Philipp HanischPortrait Andrea KühnPortrait Tim LyonPortrait Piotr Ostropolski-NalewajaPortrait Luisa HerrmannPortrait Simon RazniewskiPortrait Kerstin AchtruthPortrait Sarah Alice GagglPortrait Patrick WienhöftPortrait Martin DillerPortrait Meghna BhadraPortrait Knut BerlingPortrait Pascal KettmannPortrait Elisa BöhlPortrait Alex IvlievPortrait Sascha KlüppelholzPortrait Sergei ObiedkovPortrait Larry GonzálezPortrait Christel BaierPortrait Filippo De BortoliPortrait Hannes StraßPortrait Piotr GorczycaPortrait Stefan BorgwardtPortrait Manuel BodirskyPortrait Matthias MeißnerPortrait Karina AdlerPortrait Johannes LehmannPortrait Lukas Gerlach


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
View full publication list