Vigoni-HPP – Trilaterale Forschungskon- ferenzen: Grundlagen der Mathematik zu Beginn des 20. Jahrhunderts: Hil- bert, Peano, Poincaré und ihre Schulen

RePaLo – Revolutionen und Paradigmen in der Logik. Eine Untersuchung am Beispiel der beweistheoretischen Semantik

HilBew – "Die Hilbertsche Beweistheorie" Opus Magnum-Stipendium

Veranstaltungskonto – Veranstaltungen

KI-Seminar – Menschzentrierte KI-Entwicklung: KI-Anwendungen strategisch planen auf der Basis von Wertesensitivem Design und Human-Centered Design