Registration form

Registration for the Masterclass on Formalisation of Mathematics
University of Copenhagen -26 June - 30 June 2023

Fields marked with * are required.

Would you like to apply for financial support? *
There are limited funds available to cover local expenses of graduate students and early career mathematicians. We encourage all participants to also seek independent sources of funding.
A short paragraph or two will suffice.
Would you like to attend the conference dinner? *
Do you have any food restrictions? (vegetarian, kosher, food allergies, etc.) *
May we publish your name on a list of participants (web/print)? *
We need your consent according to GDPR. You can withdraw your consent by mailing us.