Presentation on "Komplexität von QBFs mit nicht monotonen Operatoren"

Dear friends of theory,

on Tuesday, 01/27/2026 at 3:00 p.m. in room Z 2073 B. Sc. Vincent Klimmer will speak on the topic: "Komplexität von QBFs mit nicht monotonen Operatoren".

Further information on the lecture can be found here.

All interested parties are cordially invited.

 

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