Department of MathematicsWestern Science

Midwest Homotopy Type Theory Seminar

Essential information

Schedule

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)

Talks

Registration

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.

Parking

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.

Lodging

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

Sponsors

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