Workshop: Formalization of Mathematics

Dates: June 17 - 21, 2024
Venue: HIM lecture hall, Poppelsdorfer Allee 45, Bonn
Organizers: Michael Kohlhase (Erlangen), Kevin Buzzard (London), Jacques Carette (Hamilton), Valeria de Paiva (Berkeley), Josef Urban (Praha)



This workshop is devoted to the central theme of the Trimester: How do current and future developments of Formal Mathematics impact and assist active research in central areas of pure mathematics. Talks will focus on examples of such interactions, as well as on the development of adequate techniques. Some half-days will be reserved for informal demonstrations, collaborations and co-working.


Trimester Program guests, who were invited and have confirmed to be at HIM during the period of this workshop, are eligible to attend this event.