á Department of Mathematics Department of Mathematics Western University Science Logo

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)

If you are planning to arrive on Friday, you may want to consider joining the locals for some social activities in the evening, including dinner and drinks. Please let Chris Kapulkin know that you are interested.



There is no registration fee and no formal registration procedure. Those planning to attend should contact Chris Kapulkin (kkapulki at uwo.ca) 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.