<html><head><meta http-equiv="content-type" content="text/html; charset=us-ascii"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><meta http-equiv="content-type" content="text/html; charset=us-ascii"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
<div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<div>[Apologies for duplicate emails]</div>
<div><br>
</div>*** HoTT 2023</div><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">*** Second International Conference on Homotopy Type Theory</div><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div>*** Carnegie Mellon University</div>
<div>*** 22nd-25th May 2023</div>
<div><br>
</div>
<div>Registration for the Second International Conference on Homotopy Type Theory is now open.</div><div>The conference will take place from the morning of Monday 22nd May to the evening of Thursday 25th May 2023 at Carnegie Mellon University in Pittsburgh.</div>
<div><br>
</div>
<div>You can register via the website</div>
<div><br>
</div>
<div><a href="https://urldefense.com/v3/__https://hott.github.io/HoTT-2023/*registration/__;Lw!!IBzWLUs!TRKSoQjga8TQ0ObqzRXFgiYwzH9NPOh5kTumrPR8SlUgBZ_M2mmsN8-QpahgjXeJTjQ-ysS_vSa-uLQFI860U1ggKgheTJNhlWQ$">https://hott.github.io/HoTT-2023//registration/</a></div>
<div><br>
</div>
<div>The deadline for early registration is 1st May 2023. </div><div>The deadline for registration is 14th May 2023.</div>
<div><br>
</div>
<div>There is some NSF funding available to support participation of students, </div><div>which can cover registration, travel, and accommodation expenses. </div><div>To apply, please follow the instructions on the registration page.</div>
<div><br>
</div>
<div>With best regards,</div><div><br></div>
<div>Steve (on behalf of the Scientific and Organising Committees)</div>
<div><br></div></div>
</div></body></html>