International Center for Computational Logic

From International Center for Computational Logic

International Center for Computational Logic

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, Logic, and Formal Methods in Computer Science. It has been founded at TU Dresden in October 2003.

This is the new website of ICCL, first published in October 2014. Some previous content has not been moved yet and can be found under The following research groups are already present here on the new site:

Members and Guests

Portrait Faiq Miftakhul FalakhPortrait Johannes FichtePortrait Manuel BodirskyPortrait Marcos CramerPortrait Stephan MennickePortrait Anni-Yasmin TurhanPortrait Sascha KlüppelholzPortrait Larry GonzálezPortrait David CarralPortrait Bartosz BednarczykPortrait Sandy SeifarthPortrait Philipp HanischPortrait Ali ElhalawatiPortrait Markus KrötzschPortrait Alexander ShmelkinPortrait Kati DomannPortrait Martin DillerPortrait Ramona BehlingPortrait Irina DragostePortrait Christel BaierPortrait Alexander KrausePortrait Sebastian RudolphPortrait Sylvia WünschPortrait Franz BaaderPortrait Stefan BorgwardtPortrait Ilja ShmelkinPortrait Thomas FellerPortrait Lucía Gómez ÁlvarezPortrait Kerstin AchtruthPortrait Christian LewePortrait Steffen HölldoblerPortrait Lukas SchweizerPortrait Tobias PhilippPortrait Maximilian MarxPortrait Patrick KoopmannPortrait Satyadharma TirtarasaPortrait Andreas EckePortrait Elisa BöhlPortrait Piotr GorczycaPortrait Sarah Alice Gaggl

People at the International Center for Computational Logic

Newest Publications

Bartosz Bednarczyk, Piotr Witkowski
A note on C2 interpreted over finite data-words
27th International Symposium on Temporal Representation and Reasoning (TIME 2020), to appear

Bartosz Bednarczyk, Stéphane Demri, Alessio Mansutti, Raul Fervari
Modal Logics with Composition on Finite Forests: Expressivity and Complexity
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020), June 2020

Fariz Darari, Werner Nutt, Simon Razniewski, Sebastian Rudolph
Completeness and soundness guarantees for conjunctive SPARQL queries over RDF data sources with completeness statements
Semantic Web, 11(3):441-482, 2020

View full publication list