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 – nicht wie geplant in Rom – statt 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.

Weitere Informationen: https://iccl.inf.tu-dresden.de/web/News57