Workshop on Categorical Logic and Univalent Foundations

Storm Jameson Court; by Mtaylor848 (Own work) [CC BY-SA 4.0 (], via Wikimedia Commons

Participants, including those also partaking in the Logic Colloqium 2016, are encouraged to either apply for free accommodation on campus as detailed below or arrange their own accommodation outside campus.

At Storm Jameson Court

A number of fully paid rooms (bed and breakfast) at Storm Jameson Court are available on campus. All participants are encouraged to apply for these when registering before the early registration deadline. Preference will be given to participants who are also attending the Logic Colloquium 2016, graduate students, and recent graduates.

To facilitate early planning, notifications concerning room allocations will be sent to applicants shortly after the early registration deadline.

At a hotel

For other participants, we suggest that you book your accommodation at any of the following nearby hotels: