ICCL Researchers Score Four Papers at LICS 2021
From International Center for Computational Logic
News from the research group Computational Logic of April 3, 2021
ICCL Researchers Score Four Papers at LICS 2021
The annual ACM/IEEE Symposium on Logic in Computer Science (LICS) is the premier international conference on theoretical and practical topics in computer science that relate to logic, broadly construed. It brings together world-leading researchers in this field. LICS 2021 takes place as a virtual event (the originally planned venue was Rome) and registered a record number of 227 submissions, of which 91 papers have been accepted (40.1%). Hence, it is particularly uplifting that ICCL researchers have been successful with a total of four accepted papers. It is also noteworthy that all papers have been co-authored by PIs from the DFG research training group QuantLA and two were co-authored by PhD students affiliated with QuantLA.
The accepted papers are:
- 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
- More info at: http://easyconferences.eu/lics2021/
