Conveners
Vortrag: The good, the bad, and the ugly days of a long-lasting friendship
- Heribert Vollmer (Hannover)
Vortrag: On the Satisfaction Probability of k-CNF Formulas
- Till Tantau (Lübeck)
Vortrag: Persönliche Erfahrungen mit SAT-Solvern: Theorie und Praxis
- Uwe Schöning (Ulm)
Vortrag: Spiele auf Graphen und die Komplexität von Resolution
- Jacobo Toran (Ulm)
