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 Faiq Miftakhul FalakhPortrait Maximilian MarxPortrait Kati DomannPortrait Sarah Alice GagglPortrait Christian LewePortrait Stephan MennickePortrait Philipp HanischPortrait Patrick KoopmannPortrait Thomas FellerPortrait Satyadharma TirtarasaPortrait Stefan EllmauthalerPortrait Bartosz BednarczykPortrait Elisa BöhlPortrait Christel BaierPortrait Piotr GorczycaPortrait Karina AdlerPortrait Franz BaaderPortrait Lucía Gómez ÁlvarezPortrait Larry GonzálezPortrait Jonas KargePortrait Martin DillerPortrait Sebastian RudolphPortrait Sandy SeifarthPortrait Dörthe ArndtPortrait Simon KnäuerPortrait Hannes StraßPortrait Ali ElhalawatiPortrait Stefan BorgwardtPortrait Markus KrötzschPortrait Tim LyonPortrait Anni-Yasmin TurhanPortrait Manuel BodirskyPortrait Dominik RusovacPortrait Sascha KlüppelholzPortrait Irina DragostePortrait Lukas GerlachPortrait Kerstin AchtruthPortrait Ramona Behling


Newest Publications

Tim Lyon
Refining Labelled Systems for Modal and Constructive Logics with Applications
Phd thesis, Technische Universität Wien, 2021/07/29
Details
Kees van Berkel, Tim Lyon
The Varieties of Ought-implies-Can and Deontic STIT Logic
In Fenrong Liu, Alessandra Marra, Paul Portner and Frederik Van De Putte, eds., Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021, 57-76, July 2021. College Publications
Details Download
Tim Lyon
A Framework for Intuitionistic Grammar Logics
In Pietro Baroni, Christoph Benzmüller, Yὶ N. Wang, eds., Logic and Argumentation, volume 13040, 495-503, October 2021. Springer International Publishing
Details Download
Tim Lyon
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
In Anupam Das, Sara Negri, eds., Automated Reasoning with Analytic Tableaux and Related Methods, 409-427, August 2021. Springer International Publishing
Details Download
View full publication list