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
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
Großer Saal (Haus auf der Mauer)
Großer Saal
Haus auf der Mauer
Convener
:
Heribert Vollmer
(
Hannover
)
14:00
→
14:40
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
→
15:10
Pause
30m
Oberlichtsaal (Haus auf der Mauer)
Oberlichtsaal
Haus auf der Mauer
15:10
→
15:50
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
)
15:50
→
16:30
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
)
16:30
→
17:10
Verabschiedung von Martin Mundhenk
17:10
→
19:00
Empfang mit Imbiss
Oberlichtsaal (Haus auf der Mauer)
Oberlichtsaal
Haus auf der Mauer