CfP: 2nd International Conference on Homotopy Type Theory

Good morning, The page for submitting a talk for the 2nd International Conference on Homotopy Type Theory, to take place at Carnegie Mellon University from Monday 22nd to Thursday 24th May, 2023, is now open: https://hott.github.io/HoTT-2023//call-for-papers/ The deadline for submissions is 3rd March 2023. Talks reporting on work in progress are welcome. With best wishes, Nicola Gambino (on behalf of the scientific committee) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]