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


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