Neuigkeit aus der Forschungsgruppe Computational Logic vom 3. April 2021

ICCL mit gleich vier Papieren bei LICS 2021 vertreten

Das ACM/IEEE Symposium on Logic in Computer Science (LICS) ist die internationale Top-Konferenz im Bereich Logik in der Informatik, bei der sich jedes Jahr weltweit führende Forscherinnen und Forscher dieses Fachs treffen. In diesem Jahr findet LICS virtuell statt (geplanter Austragungsort war Rom) und konnte mit 227 Einreichungen einen neuen Rekord verbuchen, wobei 91 Papiere akzeptiert worden sind (40,1%). Es ist daher besonders erfreulich, dass Forschern und Forscherinnen des International Center for Computational Logic gleich mit vier ihrer Forschungspapiere Erfolg hatten.

Die akzeptierten Papiere sind:

Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer: Responsibility and verification: Importance value in temporal logics
Manuel Bodirsky, Bertalan Bodor: Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property
Manuel Bodirsky, Thomas Feller, Simon Knäuer and Sebastian Rudolph: On Logics and Homomorphism Closure
Emanuel Kieronski, Sebastian Rudolph: Finite Model Theory of the Triguarded Fragment and Related Logics

Ebenso erwähnenswert ist, dass alle Papiere von Professoren mitverfasst wurden, die an am DFG Graduiertenkolleg QuantLA beteiligt sind; an zwei der Veröffentlichungen waren QuantLA-Doktoranden beteiligt. Wir gratulieren allen Autoren zu diesem bemerkenswerten Erfolg.

Weitere Infos unter: http://easyconferences.eu/lics2021/