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 2: | Zeile 2: | ||
|Titel DE=ICCL mit gleich vier Papieren bei LICS 2021 vertreten | |Titel DE=ICCL mit gleich vier Papieren bei LICS 2021 vertreten | ||
|Titel EN=ICCL Researchers Score Four Papers at LICS 2021 | |Titel EN=ICCL Researchers Score Four Papers at LICS 2021 | ||
|Beschreibung DE=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. | |Beschreibung DE=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. 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. | ||
<br> | <br> | ||
Die akzeptierten Papiere sind: | Die akzeptierten Papiere sind: | ||
| Zeile 11: | Zeile 11: | ||
* Emanuel Kieronski, [[Sebastian Rudolph]]: [[Inproceedings3271|Finite Model Theory of the Triguarded Fragment and Related Logics]] | * Emanuel Kieronski, [[Sebastian Rudolph]]: [[Inproceedings3271|Finite Model Theory of the Triguarded Fragment and Related Logics]] | ||
<br> | <br> | ||
Wir gratulieren allen Autoren zu diesem bemerkenswerten Erfolg. | |||
|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. | |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. It is also noteworthy that all papers have been co-authored by PIs from the [[QuantLA/en|DFG research training group QuantLA]] and two were co-authored by PhD students affiliated with QuantLA. | ||
<br> | <br> | ||
The accepted papers are: | The accepted papers are: | ||
| Zeile 21: | Zeile 21: | ||
* Emanuel Kieronski, [[Sebastian Rudolph/en|Sebastian Rudolph]]: [[Inproceedings3271/en|Finite Model Theory of the Triguarded Fragment and Related Logics]] | * Emanuel Kieronski, [[Sebastian Rudolph/en|Sebastian Rudolph]]: [[Inproceedings3271/en|Finite Model Theory of the Triguarded Fragment and Related Logics]] | ||
<br> | <br> | ||
Congratulations to all authors for this remarkable success. | Congratulations to all authors for this remarkable success. | ||
|URL=http://easyconferences.eu/lics2021/ | |URL=http://easyconferences.eu/lics2021/ | ||
Aktuelle Version vom 4. April 2021, 00:39 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. 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.
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/
