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 21 June 2024 - 13:00

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

13:00

13:00 - 13:30

13:30 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
13:30 - 14:00
Room: Großer Saal

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

14:40 Pause
Pause
14:40 - 15:10
Room: Oberlichtsaal

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

15:50 Spiele auf Graphen und die Komplexität von Resolution
Spiele auf Graphen und die Komplexität von Resolution
15:50 - 16:30
Room: Großer Saal

16:30

16:30 - 17:10

17:10

17:10 - 19:00
Room: Oberlichtsaal

Choose timezone