Am Mittwoch, den 12.01.2022 um 13:15 Uhr wird Herr Benjamin Scheidt seine Masterarbeit zum Thema

"Logik erster Stufe mit Zählquantoren: lgorithmische und strukturelle Äquivalenzen"

verteidigen.

Die Verteidigung findet digital per Zoom statt. Eine Zoom-Einladung finden Sie hier. (nur mit Informatik-Account)