[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ][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)
