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).
We will meet for a joint dinner on Tuesday, 19 September 2023 at the following place:
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.
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