This week the #HoTTEST seminar presents:
Ingo Blechschmidt
Towards multiversal modal operators for homotopy type theory
The talk is 11:30am-12:30pm *EST* (UTC-5) on Thursday, November 30 and will be followed by discussion. See uwo.ca/math/faculty/kapulkin/s… for the Zoom link, the abstract, and a list of all upcoming talks.
All are welcome!
#HoTT @carloangiuli@twtr.plus @carloangiuli@birdsite.wilde.cloud @emilyriehl
Homotopy Type Theory Electronic Seminar Talks
Western University, in vibrant London, Ontario, delivers an academic and student experience second to none.www.uwo.ca