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)



This workshop will focus on the organization, modularization, and curation of mathematical libraries. Contributions/talks can address any combinations of the five aspects of the Tetrapod (see Fig. 1). Though the workshop has a primary focus on formal libraries, organizational aspects of informal mathematics (e.g. via ontologies) can be addressed, if they contribute to machine-processing of the mathematical heritage.


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.