The 85. Theorietag will take place as a combined workshop of the GI groups Algorithms, Complexity, and Logic at Ruhr-Universität Bochum (RUB) on
19/20 September 2023, organised by the research group
Logic and Formal Verification.
The talks will be held in the Open Space area of the Faculty of Computer Science (building
MC/VC on RUB campus, Universitätsstr. 140 in Bochum).