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


Newest Publications

Bartosz Bednarczyk, Jakub Michaliszyn
"Most of" leads to undecidability: Failure of adding frequencies to LTL
Proceedings of the 24th International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2021), March 2021
Details Download
Manuel Bodirsky, Thomas Feller, Simon Knäuer, Sebastian Rudolph
On Logics and Homomorphism Closure
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details
Emanuel Kieroński, Sebastian Rudolph
Finite Model Theory of the Triguarded Fragment and Related Logics
Proceedings of the 36th Annual Symposium on Logic in Computer Science (LICS 2021), to appear
Details
Bartosz Bednarczyk
Statistical EL is ExpTime-complete
Information Processing Letters, 169C(106113), August 2021
Details Download
View full publication list