Prof. Philipp Hieronymi
information for prospective students
Hausdorff School: “Formal Mathematics and Computer-Assisted Proving”
takes place in Bonn September 18 - 22, 2023.
The schedule for the
during the Sommersemester 2023 is available.
Subscribe to the
for logic activities in Bonn.
Last changed: February 24, 2022