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