<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div dir="ltr">
<div>Dear all,</div>
<div><br>
</div>
<div>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 <span tabindex="0" class="aBn"
data-term="goog_1405154932"><span class="aQJ">July 27 to 29</span></span>
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.</div>
<div><br>
</div>
<div>Please see the workshop website for details: <a
href="http://hott16.leeds.ac.uk/" target="_blank"
data-saferedirecturl="https://www.google.com/url?hl=en&q=http://hott16.leeds.ac.uk/&source=gmail&ust=1465830853993000&usg=AFQjCNHJnDNSMdU99_s7L-Ez3VR1Enw9zQ"><a class="moz-txt-link-freetext" href="http://hott16.leeds.ac.uk/">http://hott16.leeds.ac.uk/</a></a></div>
<div><br>
</div>
<div>Important dates:</div>
<div>* <span tabindex="0" class="aBn" data-term="goog_1405154933"><span
class="aQJ">June 15</span></span>: Deadline for registration
and abstract submission</div>
<div>* <span tabindex="0" class="aBn" data-term="goog_1405154934"><span
class="aQJ">July 27-29</span></span>: The workshop</div>
<div><br>
</div>
<div>Confirmed Invited speakers:</div>
<div>- Steve Awodey, Carnegie Mellon University</div>
<div>- Andrej Bauer, University of Ljubljana</div>
<div>- Robert Harper, Carnegie Mellon University</div>
<div>- Matthieu Sozeau, Inria</div>
<div><br>
</div>
<div>We look forward to seeing you in Leeds!</div>
<div><br>
</div>
<div>Christian Sattler (on behalf of the organisers)</div>
</div>
</body>
</html>