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)

Ankunft und Begrüßung

Vortrag: The good, the bad, and the ugly days of a long-lasting friendship

Convener: Heribert Vollmer (Hannover)

Vortrag: On the Satisfaction Probability of k-CNF Formulas

Convener: Till Tantau (Lübeck)

14:40 Pause

Vortrag: Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis

Convener: Uwe Schöning (Ulm)

Vortrag: Spiele auf Graphen und die Komplexität von Resolution

Convener: Jacobo Toran (Ulm)

Verabschiedung von Martin Mundhenk

Empfang mit Imbiss