Kolloquium zur Komplexität und Logik
Friday 21 Jun 2024, 13:00
→
19:00
Europe/Berlin
Haus auf der Mauer
Haus auf der Mauer
Johannisplatz 26, 07743 Jena
Olaf Beyersdorff
(
Theoretische Informatik I, Friedrich-Schiller-Universität Jena
)
Registration
Teilnahme am Kolloquium
21
Register
Ankunft und Begrüßung
Vortrag: The good, the bad, and the ugly days of a long-lasting friendship
Großer Saal (Haus auf der Mauer)
Großer Saal
Haus auf der Mauer
Convener
:
Heribert Vollmer
(
Hannover
)
Vortrag: On the Satisfaction Probability of k-CNF Formulas
Großer Saal (Haus auf der Mauer)
Großer Saal
Haus auf der Mauer
Convener
:
Till Tantau
(
Lübeck
)
14:40
Pause
Oberlichtsaal (Haus auf der Mauer)
Oberlichtsaal
Haus auf der Mauer
Vortrag: Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis
Großer Saal (Haus auf der Mauer)
Großer Saal
Haus auf der Mauer
Convener
:
Uwe Schöning
(
Ulm
)
Vortrag: Spiele auf Graphen und die Komplexität von Resolution
Großer Saal (Haus auf der Mauer)
Großer Saal
Haus auf der Mauer
Convener
:
Jacobo Toran
(
Ulm
)
Verabschiedung von Martin Mundhenk
Empfang mit Imbiss
Oberlichtsaal (Haus auf der Mauer)
Oberlichtsaal
Haus auf der Mauer