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).


Please register via email:

Preliminary programme

Tuesday 12.00-13.00: Welcome: Snacks & Coffee


– Nicolas Fröhlich (Leibniz Universität Hannover): Enumeration in Computation
   Tree Logic
– Anurudh Peduri (Ruhr University Bochum): QbC: Quantum Correctness by
– Fabian Vehlken (Ruhr University Bochum): Specification and Automatic
   Verification of Computational Reductions


– Vladimir Lysikov (Ruhr University Bochum): Approximation in algebraic
   complexity theory
– Ilya Chernykh: Instance reduction for the routing open shop problem and the
   problem generalization with extended jobs
– Maike Buchin (Ruhr University Bochum): Realizability of Free Spaces of


– Tim Hoffmann (Friedrich-Schiller-Universität Jena): Proof Complexity of
   Propositional Model Counting
– Martin Lange (University of Kassel): Formal Reasoning about Influence
   in Natural Sciences Experiments

17.20-18.00 Business meeting GI special interest groups

19.30: Dinner 
Brauhaus Rietkötter
Große Beckstraße 7, 44787 Bochum

Wednesday 8.30-9.00: Coffee & Snacks


9.00-10.00 – Invited talk

– Moses Ganardi (Max Planck Institute for Software Systems): Straight-Line
   Programs: Algorithms meet Compression


– Sam M. Thompson (Loughborough University): FC: A finite-model theory of
– Dietrich Kuske (TU Ilmenau): Sometimes, the succinctness of   
   modal logic depends on the Boolean operators
– Florian Chudigiewitsch (Universität zu Lübeck): Existential Second-
   Order Logic Over Graphs: Parameterized Complexity


– Jean Jung (TU Dortmund University): SAT-Based PAC-Learning of   
   Description Logic Concepts
– Arne Meier (Leibniz Universität Hannover): Quantitative Reasoning
   and Structural Complexity for Claim-Centric Argumentation

13.00 – open end: Lunch in Q-West


In case of any questions, please contact us via e-mail:


Workshop Dinner

We will meet for a joint dinner on Tuesday, 19 September 2023 at the following place:

Brauhaus Rietkötter
Große Beckstrasse 7
44787 Bochum

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:

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

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