JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.
Workshop on Dependent Type Theory
Event Timing: December 14th, 2022
Event Address: Inria / Nantes Université, France
Contact us at : gallinette-workshop@inria.fr
Sign in to Google
to save your progress.
Learn more
* Indicates required question
Name
*
Your answer
Email
*
Your answer
Organization
*
Your answer
Dietary restrictions
*
None
Vegetarian
Vegan
Kosher
Gluten-free
Other:
I understand that the registration is free
*
Yes
Required
Submit
Clear form
Never submit passwords through Google Forms.
This content is neither created nor endorsed by Google.
Report Abuse
-
Terms of Service
-
Privacy Policy
Forms