Menu
home
members
research
teaching
events
information for prospective students
links
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.
Research Areas
Last changed: February 24, 2022