Kolloquium zur Komplexität und Logik

Friday 21 Jun 2024, 13:00 → 19:00 Europe/Berlin

Haus auf der Mauer

Olaf Beyersdorff (Theoretische Informatik I, Friedrich-Schiller-Universität Jena)

13:00 → 13:30 Ankunft und Begrüßung

13:30 → 14:00 Vortrag: The good, the bad, and the ugly days of a long-lasting friendship

Convener: Heribert Vollmer (Hannover)

14:00 → 14:40 Vortrag: On the Satisfaction Probability of k-CNF Formulas

Convener: Till Tantau (Lübeck)

14:40 → 15:10 Pause

15:10 → 15:50 Vortrag: Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis

Convener: Uwe Schöning (Ulm)

15:50 → 16:30 Vortrag: Spiele auf Graphen und die Komplexität von Resolution

Convener: Jacobo Toran (Ulm)

16:30 → 17:10 Verabschiedung von Martin Mundhenk

17:10 → 19:00 Empfang mit Imbiss