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.

Contact

In case of any questions, please contact us via e-mail: theorietag2023@ruhr-uni-bochum.de

 

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

Mercure Hotel Bochum City
(approx. 14 minutes with public transport plus 5 minutes walk to the Faculty of Computer Science building)

Massenbergstr. 19-21, 44787 Bochum
phone:  +49 234 9690