Workshop on Categorical Logic and Univalent Foundations

Registration

To register for this workshop, please copy and complete the form below and email it to hott16@leeds.ac.uk:

Title (Dr/Mr/Mrs/Ms/Other):
Family name:
First name:
Affiliation:
Address: 
Telephone:
Email address:
 
Would you like to present a talk? yes/no
If yes, please provide a title and abstract below:
Title:
Abstract (optional): 
 
Will you also register for the Logic Colloquium? yes/no