Presentation on "Komplexität des Unendlichkeitsquantors in automatischen Strukturen"

Dear friends of theory,

on Tuesday, 09/15/2026 at 3:00 p.m. in room Z 2073 Vincent Klimmer will speak on the topic: "Komplexität des Unendlichkeitsquantors in automatischen Strukturen".

Further information on the lecture can be found here.

All interested parties are cordially invited.

 

Univ.-Prof. Dr. Dietrich Kuske                                                                                      Ilmenau, 08/11/2026