Dear all,
We are pleased to announce the fourth Midwest Homotopy Type Theory Seminar which will take place at the Ohio State University on the weekend of April 25-26, 2020.
INVITED SPEAKERS:
- Evan Cavallo (Carnegie Mellon)
- Andrew Swan (Carnegie Mellon)
- Matthew Weaver (Princeton)
REGISTRATION:
There is no registration fee, but registration will help the organizers. Please register using this form:
SUBMITTED TALKS:
Please submit talks using the registration form.
FUNDING:
Some funding is available to help young researchers attend the seminar. Please indicate any interest in the registration form.
FURTHER DETAILS:
Further details, including information about lodging, can be found at
Best,
Paige Randall North
for the organizers