International Center for Computational Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche


International Center for Computational Logic

EbD-rightmargin.png

                  

Das International Center for Computational Logic (ICCL) ist ein internationales Kompetenzzentrum für Forschung und Lehre im Bereich Computational Logic, mit besonderer Betonung von Algebra, Wissensrepräsentation, Logik und Formalen Methoden in der Informatik. Es wurde im Oktober 2003 an der TU Dresden gegründet. Die folgenden Forschungsgruppen sind mit dem ICCL assoziiert:


Mitarbeiter und Gäste

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


Neueste Publikationen

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
Komplette Publikationsliste anzeigen