Room 230, Fields Institute
Robert Harper (Carnegie Mellon University): Computational Higher Type Theory
Daniel R. Licata (Wesleyan University): Cubical Type Theory
Peter LeFanu Lumsdaine (Stockholm University): Homotopy-theoretic models of type theory
Michael Shulman (University of San Diego): Synthetic Homotopy Theory
Benedikt Ahrens (INRIA Nantes)
Thorsten Altenkirch (University of Nottingham)
Jeremy Avigad (Carnegie Mellon University)
Emily Riehl (Johns Hopkins University)
Michael Warren (HRL Laboratories)
The workshop will consist of mini-courses in the mornings and research-level talks (invited and contributed) in the afternoons. It will run from approximately 9am to 5pm, from Monday to Friday, except for Wednesday afternoon, in Room 230 of the Fields Institute. A one-page schedule is available at this link.
Registration is now closed as the event has reached capacity.
Applications for funding are no longer being accepted.
A banquet dinner will be held on Thursday, May 19 at Via Mercanti starting at 6:30pm. If you plan on attending, please sign-up at the Fields Institute reception desk by Tuesday, May 17 (even if you already registered online). The banquet will cost $65.33 per person (includes taxes and gratuities). Click here to preview the menu (pdf file).
Cancellation notice: There is a $15 administrative charge for Conference registration cancellations. No refunds will be made for registration cancellation requests received after May 8, 2016. Cancellation requests should be sent by e-mail to homotopy-type<at>fields.utoronto.ca. Please provide: 1. Registrant’s complete name 2. Event name and dates 3. Reason(s) for cancellation 4. Copy/record of registration confirmation or receipt, if paid for online at time of registration.
Resources for Visitors
The following link provides information on facilities and resources available to visiting members of the Fields Instittute:
Participants should make their own arrangements for accommodation, using the housing resources found at http://www.fields.utoronto.ca/resources/housing-resources
There are also student residences available at excellent rates:
New College: http://www.ncsummer.utoronto.ca/rates/
University College: http://www.uc.utoronto.ca/summer-housing#rates
Massey College: http://www.masseycollege.ca/facilities/summer-rentals/