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


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