[TYPES/announce] HoTT 2023 -- Programme and final registration

[Steve Awodey]

[Apologies for duplicate emails]

*** HoTT 2023
*** Second International Conference on Homotopy Type Theory
*** Carnegie Mellon University
*** 22nd-25th May 2023

The Programme is now available here:

https://urldefense.com/v3/__https://hott.github.io/HoTT-2023/*programme/__;Lw!!IBzWLUs!Xy148gZ5yzhDz8kV6sWBcRy07OUjbxnz_zih5M0rnAPTHYUxR5fAZcVh3MYOsR_cc4jZgitc0KBnZY1finnpZGItbXFNXMhWJ08$ 

Registration will close on 14 May. 
Until then you can still register via the website:

https://urldefense.com/v3/__https://hott.github.io/HoTT-2023/*registration/__;Lw!!IBzWLUs!Xy148gZ5yzhDz8kV6sWBcRy07OUjbxnz_zih5M0rnAPTHYUxR5fAZcVh3MYOsR_cc4jZgitc0KBnZY1finnpZGItbXFNTVtURI0$ 

With best regards,

Steve (on behalf of the Scientific and Organising Committees)