Vortrag zum Thema: "Komplexität von QBFs mit nicht monotonen Operatoren"

Liebe Freunde der Theorie,

am Dienstag, 27.01.2026 spricht um 15:00 Uhr im Raum Z 2073 B. Sc. Vincent Klimmer zum Thema: "Komplexität von QBFs mit nicht monotonen Operatoren".

Eine Zusammenfassung zum Vortrag finden Sie hier. Alle Interessierten sind herzlich eingeladen.

 

Univ.-Prof. Dr. Dietrich Kuske                                                                      Ilmenau, 20.01.2026