Theorietag 2023
Workshop on Algorithms, Complexity and Logic
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).
Registration
Please register via filling this registration form by 20 August 2023.
Workshop Dinner
We will meet for a joint dinner on Tuesday, 19 September 2023 at the following place:
???
Reaching us
Directions to the meeting venue from the tram station „Bochum Ruhr-Universität“ (U35) can be found on this map.
A (towards the end different) path is depicted here: https://informatik.rub.de/weg-zu-mc/
If you travel by car: the parking decks P12 and P13 (Max-Imdahl-Straße, see map above or via Google maps) are located next to the MC building and offer plenty of free parking spots.
Hotels
Hotel ibis Bochum Zentrum
(approx. 12 minutes with public transport plus 5 minutes walk to the Faculty of Computer Science buildung)
Universitätsstraße 3, 44789 Bochum