Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching

Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching

[Andrew Swan]

[-- Attachment #1.1: Type: text/plain, Size: 943 bytes --]

Dear all,

We would like to kindly remind about the registration and abstract 
submission deadline this week for the workshop on Categorical Logic and 
Univalent Foundations, held at the University of Leeds (UK) from July 27 to 
29 and immediately preceding 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.

Please see the workshop website for details: http://hott16.leeds.ac.uk/

Important dates:
* June 15: Deadline for registration and abstract submission
* July 27-29: The workshop

Confirmed Invited speakers:
- Steve Awodey, Carnegie Mellon University
- Andrej Bauer, University of Ljubljana
- Robert Harper, Carnegie Mellon University
- Matthieu Sozeau, Inria

We look forward to seeing you in Leeds!

Andrew Swan (on behalf of the organisers)

[-- Attachment #1.2: Type: text/html, Size: 1213 bytes --]