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


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