Name: Kolloquium zur Komplexität und Logik
Start: 2024-06-21T13:00:00+02:00
End: 2024-06-21T19:00:00+02:00
Location: Haus auf der Mauer

Kolloquium zur Komplexität und Logik

Friday, June 21, 2024 - 1:00 PM

Monday, June 17, 2024
Tuesday, June 18, 2024
Wednesday, June 19, 2024
Thursday, June 20, 2024
Friday, June 21, 2024

1:00 PM Ankunft und Begrüßung

1:00 PM - 1:30 PM

1:30 PM Vortrag: The good, the bad, and the ugly days of a long-lasting friendship
The good, the bad, and the ugly days of a long-lasting friendship
1:30 PM - 2:00 PM
Room: Großer Saal

2:00 PM Vortrag: On the Satisfaction Probability of k-CNF Formulas
On the Satisfaction Probability of k-CNF Formulas
2:00 PM - 2:40 PM
Room: Großer Saal

2:40 PM Pause
Pause
2:40 PM - 3:10 PM
Room: Oberlichtsaal

3:10 PM Vortrag: Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis
Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis
3:10 PM - 3:50 PM
Room: Großer Saal

3:50 PM Vortrag: Spiele auf Graphen und die Komplexität von Resolution
Spiele auf Graphen und die Komplexität von Resolution
3:50 PM - 4:30 PM
Room: Großer Saal

4:30 PM Verabschiedung von Martin Mundhenk

4:30 PM - 5:10 PM

5:10 PM Empfang mit Imbiss

5:10 PM - 7:00 PM
Room: Oberlichtsaal

Choose timezone