Workshop: Libraries of Digital Math

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

Description:

TBA

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.