August 28 - September 1, 2028
Venue: HIM, Poppelsdorfer Allee 45, Bonn
Organizers: Kevin Buzzard, Jacques Carette, Michael Kohlhase, Valeria de Paiva, Josef Urban
This event is a follow-up workshop to the trimester program "Prospects of Formal Mathematics" (May 6 - August 16, 2024).
Abstract: TBA
© VL
Please click on the event to see the list of participants. You will be redirected to the page of Indico.
Some participants have registered anonymously, the others are only visible to the other participants.