ILDS Coq and Lean Summer School Fellowship Application Form

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

ILDS Coq and Lean Summer School Fellowship Application Form

Deadline: 1 August.

If you need help filling in the form, please contact the local organizers at contact@ilds.ro

You will receive a copy of the responses at the email address you provide.

Sign in to Google to save your progress. Learn more

* Indicates required question

Email *

Your email

Full name
*

Your answer

Affiliation
*

Your answer

Please send us an email at contact@ilds.ro with your CV (and write "sent by email" below) or fill the field below with a link to it. *

Your answer

Please write a paragraph briefly describing your motivations to attend the autumn school.
*

Your answer

A copy of your responses will be emailed to the address you provided.

Submit

Clear form

Never submit passwords through Google Forms.

reCAPTCHA

This content is neither created nor endorsed by Google. Report Abuse - Terms of Service - Privacy Policy