Seminar Logik und Geometrie
Dies ist das Forschungsseminar der Logik in Passau, eine gemeinsame Veranstaltung mit Tobias Kaiser. Es findet jedes Semester statt. Es beinhaltet Forschungsvorträge der Arbeitsgruppen und ihrer Gäste. Ausserdem können fortgeschrittene Studierende, die ihr Wissen in mathematischer Logik und/oder Komplexitätstheorie vertiefen wollen, hier über ein gemeinsam gewähltes und gemeinsam erarbeitetes Thema vortragen.