* Live streaming for the Workshop on Homotopy Type Theory and Univalent Foundations at Fields Insittute
@ 2016-05-16 13:15 Chris Kapulkin
0 siblings, 0 replies; only message in thread
From: Chris Kapulkin @ 2016-05-16 13:15 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1: Type: text/plain, Size: 269 bytes --]
Hi everyone,
Hopefully you're at the Fields Institute with us, attending Mike Shulman's
mini-course on Synthetic Homotopy Theory. If you're not, you can still
enjoy the workshop using FieldsLive:
http://www.fields.utoronto.ca/live
Have fun!
Best,
Chris
[-- Attachment #2: Type: text/html, Size: 450 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-05-16 13:15 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-05-16 13:15 Live streaming for the Workshop on Homotopy Type Theory and Univalent Foundations at Fields Insittute Chris Kapulkin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).