Arbeitsgruppe Theoretische Informatik

Theorietag Programm

Alle Vorträge finden im Hörsaal F des Audimax statt.

Donnerstag, 22. Mai

14:00 Heribert Vollmer (Hannover) Team-based logics over Kripke structures
15:00 Coffee break
 
15:30 Christian Gießen (Kiel) Robustness of Populations in Stochastic Environments
16:15 Thim Strothmann (Paderborn) Coating Problems in the Amoebot Model for Programmable Matter
17:00 Coffee break
 
17:30 Arne Meier (Hannover) Parameterized Enumeration in Non-Decreasing Order
18:15 Closing (dinner at a restaurant for all interested participants)


Freitag, 23. Mai

9:00 Maximilian Drees (Paderborn) Budget-restricted utility games with ordered strategic decisions
9:45 Matthias Feldotto (Paderborn) Bounding the Potential Function in Congestion Games and Approximate Pure Nash Equilibria
10:30 Coffee break
 
11:00 Andreas Cord-Landwehr (Paderborn) Multilevel Network Games
11:45 Henning Schnoor (Kiel) A Control Dichotomy for Pure Scoring Rules
12:30 Lunch break
 
13:30 Nikhil Balaji (Chennai) A bit of arithmetic circuits: Computation and complexity
14:15 Florin Manea (Kiel) Finding generalised periodicities in words
15:00 Sven Kurras (Hamburg) Algebraic and Geometric Interpretation of the f-adjusted Graph Laplacian
15:45 Closing