Beweiskomplexität (Oberseminar)

In diesem Seminar werden verschiedene Paper und Masterarbeiten zum Thema Beweiskomplexität vorgestellt. Der Fokus liegt dabei überwiegend auf Resultaten aus dem SAT und QBF Bereich.

Interessenten mit thematisch passenden Vorträgen sind gern gesehen und können dazu bitte Herrn Professor Beyersdorff kontaktieren.

Titel

Termin

Einzeltermine

Donnerstags, 16:15 Uhr

26.10. Kaspar Kasche - Interference und RUP Beweissysteme (1)

09.11. Tim Hoffmann - Überblick über untere Schranken für DNNFs

23.11. Kaspar Kasche - Interference und RUP Beweissysteme (2)

30.11. Luc Spachmann - UDL für weitere Beweissysteme (1)

14.12. Luc Spachmann - UDL für weitere Beweissysteme (2)

21.12. Kaspar Kasche - UDL für weitere Beweissysteme (3)

18.01. Kaspar Kasche - UDL für weitere Beweissysteme (4)

25.01. Benjamin Böhm - Gauge Lower Bound (1)

01.02. Tim Hoffmann - Dynamische und Statische Kompilierung zu Decision-DNNFs

08.02. Benjamin Böhm - Gauge Lower Bound (2)

Raum

Ernst-Abbe-Platz 2: SR 3325