| CARVIEW |
Select Language
HTTP/2 301
server: GitHub.com
content-type: text/html
location: https://paigenorth.github.io/midwesthott/
x-github-request-id: 4C18:2680BD:B5807A:CC1A86:69553C08
accept-ranges: bytes
age: 0
date: Wed, 31 Dec 2025 15:06:49 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210093-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767193609.895313,VS0,VE198
vary: Accept-Encoding
x-fastly-request-id: b3d6b93d5ba2389e1dd5597087ff7dabe1880f53
content-length: 162
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Wed, 11 Mar 2020 01:00:41 GMT
access-control-allow-origin: *
etag: W/"5e683839-e03"
expires: Wed, 31 Dec 2025 15:16:49 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: 6611:2DDCFF:B5A854:CC40F7:69553C09
accept-ranges: bytes
age: 0
date: Wed, 31 Dec 2025 15:06:49 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210093-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1767193609.106900,VS0,VE220
vary: Accept-Encoding
x-fastly-request-id: c22b53902a93fe46d08269323ef01ca286675af4
content-length: 1532
🛑 CANCELLED 🛑 | [“Midwest Homotopy Type Theory Seminar”]
Midwest Homotopy Type Theory Seminar
Spring 2020 at OSU
🛑 CANCELLED 🛑
Essential information
- Time: 25-26 April 2020
- Place: Room 154, Mathematics Tower, The Ohio State University
- Organizers: Paige Randall North and Sanjeevi Krishnan
Invited speakers
- Evan Cavallo (Carnegie Mellon)
- Andrew Swan (Carnegie Mellon)
- Matthew Weaver (Princeton)
Program
We plan to begin on Saturday morning and end on Sunday before lunch.
Registration
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
- We recommend the Blackwell Hotel, located two blocks from the Math Department.
- The Tuttle Garage has the closest parking to the Math Department.
Organizers
- Sanjeevi Krishnan
- Paige Randall North