
<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></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=us-ascii" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">


<meta http-equiv="Content-Type" content="text/html; charset=us-ascii" class="">


<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

<div class="">Good morning,</div>

<div class=""><br class="">

</div>

<div class="">The page for submitting talks to the 2nd International Conference on Homotopy Type Theory, which will take place at Carnegie Mellon University from Monday 22nd to Thursday 24th May, 2023, is now open:</div>

<div class=""><br class="">

</div>

<div class=""><a href="https://urldefense.com/v3/__https://hott.github.io/HoTT-2023/*call-for-papers/__;Lw!!IBzWLUs!RzctfLQGGMxyC2KEYkN_LyzlL414M0H4In20Pyt9FWpT4it8pAIhR8oQKH_N0htz4bntvru50BGvPUu-Xf1Ir7N1T86jGZn31Lk$" class="">https://hott.github.io/HoTT-2023//call-for-papers/</a></div>

<div class=""><br class="">

</div>

<div class="">The deadline for submissions is 3rd March 2023. </div>

<div class=""><br class="">

</div>

<div class="">Talks reporting on work in progress are welcome.</div>

<div class=""><br class="">

</div>

<div class="">With best wishes,</div>

<div class="">Steve Awodey (on behalf of the organizing committee)</div>

</div><div class=""><br class="webkit-block-placeholder"></div><br class="">

</div></body></html>