HoTT 2023 -- Programme and final registration

*** HoTT 2023 *** Second International Conference on Homotopy Type Theory *** Carnegie Mellon University *** 22nd-25th May 2023 The Programme is now available here: https://hott.github.io/HoTT-2023//programme/ Registration will close on 14 May. Until then you can still register via the website: https://hott.github.io/HoTT-2023//registration/ With best regards, Steve (on behalf of the Scientific and Organising Committees) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]