Midwest Homotopy Type Theory Seminar

Spring 2020 at OSU

🛑 CANCELLED 🛑

Essential information

Invited speakers

Program

We plan to begin on Saturday morning and end on Sunday before lunch.

Registration

Click here

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.

Accomodation and parking

Organizers