Workshop on Categorical Logic and Univalent Foundations

Locations

For arrival information, please see here.

All talks will be held in MALL 1&2 (a single room) on Level 8 of the School of Mathematics. If you enter the building using the main entrance on Level 9, just follow the signs by going down the stairs and e.g. entering the corridor, where you will find the room on your left after a corner.

Coffee will be served in the Common Area on Level 9 of the School of Mathematics, specifically in Reading Room 9.31. This is also where the registration desk is located.

Lunch can be had at the Refectory.

There will be an informal dinner on Thursday evening at Akbar's Restaurant.

Leeds Train Station    Storm Jameson Court    Henry Price Residences
School of Maths    Refectory    Akbar's Restaurant