School and Workshop on Univalent Mathematics 2019 - Application Form
April 1-5, 2019.
University of Birmingham, UK.
https://unimath.github.io/bham2019/

Note: this is an application form, not a registration form. Please do not make any travel arrangements before hearing back from us.

First name *
Your answer
Last name *
Your answer
Email *
Your answer
University, Department, Company, ...
Your answer
Current academic status
Thesis supervisor, if applicable
Your answer
Thesis topic, if applicable
Your answer
Year of PhD (received or expected), if applicable
Your answer
Do you have any previous experience with a proof assistant? Please elaborate, for example, which proof assistant, what topic you formalized, etc.
Your answer
Do you have any knowledge of Univalent Foundations? Please elaborate briefly. *
Your answer
Which track would you like to attend?
If you answered "Advanced track" to the previous question, which of the following topics would you be most interested in working on during the School (several answers possible)? *
Required
Will you require funding? *
If you answered yes, please give us an estimate (in Euros). List travel and accommodation expenses separately.
Your answer
Is there anything else you would like us to know?
Your answer
I understand that I will need to bring my own laptop to the event with either Linux (Debian, Ubuntu, Mandriva, ...) or Apple OSX. (Contact us in case of questions.) *
Required
Submit
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google. Report Abuse - Terms of Service