Choose timezone

Your profile timezone:

Use timezone based on:

Event/category Custom

Select a custom timezone

Metaprogramming for the Formalizing Mathematician

Name: Metaprogramming for the Formalizing Mathematician
Start: 2027-04-19T07:00:00+02:00
End: 2027-04-23T22:00:00+02:00
Location: HIM

April 19 - 23, 2027 HIM/HSM Special Topic School

Europe/Berlin timezone