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


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