News

• The Hausdorff School: “Formal Mathematics and Computer-Assisted Proving” takes place in Bonn September 18 - 22, 2023.
• The schedule for the Oberseminar Logik during the Sommersemester 2023 is available.
• Subscribe to the mailing list for logic activities in Bonn.