Theorietag 2023

13.00-14.15

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

14.45-16.00

– 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
   Curves

16:20-17:10

– 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

10.30-11.45

– Sam M. Thompson (Loughborough University): FC: A finite-model theory of
   concatenation
– 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

12.00-12:50

– 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