
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">*** 2nd International Conference on Homotopy Type Theory (HoTT 2023)</div><div class="">*** Monday 22nd May - Thursday 25th May, 2023</div><div class="">*** Carnegie Mellon University, Pittsburgh (USA)</div><div class=""><br class=""></div><div class="">This is the first call for papers for the 2nd International Conference on Homotopy Type Theory (HoTT 2023). </div><div class="">Abstracts (no more than 2 pages in A4 format) should be submitted via Easychair, using the following link.</div><div class=""><br class=""></div><div class=""><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=hott2023__;!!IBzWLUs!Tbcw4LLpKg9bBENv3qgQjaMq6WcKggJItc0gWj4JamN1OpqtNyz1iKTWc-3SjieCxEt0FRHmKZnYElbYodRHJpCwbu8zEg$" class="">https://easychair.org/conferences/?conf=hott2023</a></div><div class=""><br class=""></div><div class="">Submissions open on 3rd February 2023 and close on 3rd March 2023. </div><div class=""><br class=""></div><div class="">Invited speakers of the conference are:</div><div class=""><br class=""></div><div class=""><ul class="MailOutline"><li class="">Julie Bergner (University of Virginia, USA)</li><li class="">Thierry Coquand (Chalmers University, Sweden)</li><li class="">András Kovács (Eötvös Loránd University, Hungary)</li><li class="">Anders Mörtberg (Stockholm University)</li></ul><div class=""><br class=""></div></div><div class="">Further information on the conference can be found at the website:</div><div class=""><br class=""></div><div class=""><a href="https://urldefense.com/v3/__https://hott.github.io/HoTT-2023/__;!!IBzWLUs!Tbcw4LLpKg9bBENv3qgQjaMq6WcKggJItc0gWj4JamN1OpqtNyz1iKTWc-3SjieCxEt0FRHmKZnYElbYodRHJpCjy94gew$" class="">https://hott.github.io/HoTT-2023/</a></div><div class=""><br class=""></div><div class="">With best regards,</div><div class="">Steve Awodey (Chair of the organising committee)</div><div class=""><br class=""></div></div></body></html>