News57: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Sebastian Rudolph (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 12: | Zeile 12: | ||
<br> | <br> | ||
Ebenso erwähnenswert ist, dass alle Papiere von Professoren mitverfasst wurden, die an am [[QuantLA|DFG Graduiertenkolleg QuantLA]] beteiligt sind; an zwei der Veröffentlichungen waren QuantLA-Doktoranden beteiligt. Wir gratulieren allen Autoren zu diesem bemerkenswerten Erfolg. | Ebenso erwähnenswert ist, dass alle Papiere von Professoren mitverfasst wurden, die an am [[QuantLA|DFG Graduiertenkolleg QuantLA]] beteiligt sind; an zwei der Veröffentlichungen waren QuantLA-Doktoranden beteiligt. Wir gratulieren allen Autoren zu diesem bemerkenswerten Erfolg. | ||
|Beschreibung EN=The ''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/en|ICCL]] researchers have been successful with a total of four accepted papers. | |Beschreibung EN=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/en|ICCL]] researchers have been successful with a total of four accepted papers. | ||
<br> | <br> | ||
The accepted papers are: | The accepted papers are: | ||
Version vom 3. April 2021, 19:10 Uhr
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
- Weitere Infos unter: http://easyconferences.eu/lics2021/
