<div dir="ltr">People,<br><div><br>We
 are pleased to announce a workshop on Categorical Logic and Univalent 
Foundations, held at the University of Leeds (UK) from July 27 to 29 and
 immediately preceeding the Logic Colloquium 2016. The workshop will be 
quite informal and include time for open discussions. Talks are invited 
concerning all aspects of homotopy type theory and univalent 
foundations, the scope of the workshop being very broad.<br><br>Please see the workshop website for details: <a href="http://hott16.leeds.ac.uk/" target="_blank">http://hott16.leeds.ac.uk/</a><br><br>A
 limited amount of paid-for accomodation on campus is available for 
registrants. Preference will be given to participants who are also 
attending the Logic Colloquium 2016, graduate students, and recent 
graduates. <br><br>Important dates:<br>* May 15: Deadline for registrations requesting accomodation support<br>* June 15: Deadline for registration and abstract submission<br>* July 27-29: The workshop<br><br>Confirmed invited speakers:<br>- Steve Awodey, Carnergie Mellon University<br>- Andrej Bauer, University of Ljubljana <br>- Matthieu Sozeau, Inria<br><br>We look forward to seeing you in Leeds!<br>Christian Sattler (on behalf of the organizers) </div></div>