Login
From:
Homotopy Type Theory
(Uncensored)
subscribe
HoTT 2023 | Homotopy Type Theory
https://homotopytypetheory.org/2023/01/25/hott-2023/
links
backlinks
Roast topics
Find topics
Find it!
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 mo…
