<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="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>The reduced registration rate for HoTT 2023 closes May 1.</div><div>Thereafter registration will be possible until 14th May at a higher rate.</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!VkAbh8J-NO5JNlq7YbsyAZWKodAdiYhddh6VRJXtSUf6NlvknHGqOwuplSsgMSKm2WaF-Yq7xsBnOIbaBdhXHl2BQOlbACEEy3I$">https://hott.github.io/HoTT-2023//registration/</a></div>
<div><br></div><div>which now also includes a list of accepted talks as well as registered participants.</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></div></div></body></html>