Choose timezone

Your profile timezone:

Use timezone based on:

Event/category Custom

Select a custom timezone

Advancing Mathlib. Building a Curated Mathematical Library for the Future

Name: Advancing Mathlib. Building a Curated Mathematical Library for the Future
Start: 2027-04-26T07:00:00+02:00
End: 2027-04-30T22:00:00+02:00
Location: HIM

April 26 - 30, 2027 HCM Workshop/Conference

Europe/Berlin timezone

Contact

hcm-program@uni-bonn.de

Advancing Mathlib. Building a Curated Mathematical Library for the Future

Contact

Materials

There are currently no materials linked to this event that are visible to you.