Monthly Archives: January 2023

The 2nd International Conference on Homotopy Type Theory (HoTT 2023) will be held Monday 22nd May – Thursday 25th May 2023 at Carnegie Mellon University, Pittsburgh (USA).  Abstracts of no more than 2 pages should be submitted via Easychair, see the submissions … Continue reading →