I am excited for this Homotopy Type theory online learning.
The HoTTEST Summer School 2022 will take place online everywhere in the world during the months of July and August 2022.
uwo.ca/math/faculty/kapulkin/s…
HoTTEST Summer School 2022
Western University, in vibrant London, Ontario, delivers an academic and student experience second to none.uwo.ca