Ein Workshop rund um die Themen Algorithmik, Komplexität und Logik in der Informatik.
Vom 19.09.-20.09.2023 findet an der Fakultät für Informatik der 85. Theorietag statt. Organisiert wird der gemeinsame Workshop der GI-Fachgruppen Algorithmen, Komplexität und Logik in der Informatik vom Lehrstuhl Logik und Formale Verifikation unter Leitung von Professor Thomas Zeume. Neben 14 inhaltlichen Talks bietet der Theorietag auch vielfältige Vernetzungsmöglichkeiten.