News

• The HIM Trimester on the "Prospect of formal mathematics" takes place May 6th - August 16th 2024 at the HIM in Bonn.
• The schedule for the Oberseminar Logik during the Sommersemester 20224 is available.
• Subscribe to the mailing list for logic activities in Bonn.