Department of MathematicsWestern Science

Midwest Homotopy Type Theory Seminar

Essential information


All talks will take place in Middlesex College, room 107. Coffee and lunch will be served in room 108.

Time Saturday Sunday
9 Coffee Coffee
9:30 Carlo Angiuli (Carnegie Mellon) Dan Christensen (Western)
10:30 Coffee break Coffee break
11 Luis Scoccola (Western) Robert Rose (Indiana)
12 Lunch End of the meeting!
2 Paige North (Ohio State)
3 Coffee break
3:30 Simon Cho (Michigan)



There is no registration fee and no formal registration procedure. Those planning to attend should contact Chris Kapulkin (kkapulki at to help plan the event, e.g., make sure that we have food for everyone.


Detailed information about parking on Western's campus can be found here.

The Medway Lot (Lot R) is open to visitors and free of charge on weekends. Distance to Middlesex College: 700 meters.

The Middlesex Lot (Lot G) is open to visitors on weekends at a flat rate of C$7 per day. Distance to Middlesex College: 10 meters.


Participants should arrange their own accommodation. We have negotiated preferred rates at the following hotels from May 25-28:


We acknowledge the support of the School of Mathematical and Statistical Sciences at the University of Western Ontario.