Registration form

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

Fields marked with * are required.

First name *

Last name *

E-mail address *

Academic status *

Affiliation *

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. Yes No

If yes, please tell us why you are interested in attending the workshop.

A short paragraph or two will suffice.

Would you like to attend the conference dinner? *

Yes No

Do you have any food restrictions? (vegetarian, kosher, food allergies, etc.) *

Yes No

If yes, please specify:

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. Yes No

Department of Mathematical Sciences

Registration form

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

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