* Voevodsky gathering will be streamed, live
@ 2017-10-07 3:51 Daniel R. Grayson
2017-10-11 13:00 ` Daniel R. Grayson
0 siblings, 1 reply; 2+ messages in thread
From: Daniel R. Grayson @ 2017-10-07 3:51 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 75 bytes --]
... at https://www.ias.edu/events/gathering-remembrance-vladimir-voevodsky
[-- Attachment #1.2: Type: text/html, Size: 325 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: Voevodsky gathering will be streamed, live
2017-10-07 3:51 Voevodsky gathering will be streamed, live Daniel R. Grayson
@ 2017-10-11 13:00 ` Daniel R. Grayson
0 siblings, 0 replies; 2+ messages in thread
From: Daniel R. Grayson @ 2017-10-11 13:00 UTC (permalink / raw)
To: Homotopy Type Theory
[-- Attachment #1.1: Type: text/plain, Size: 104 bytes --]
The video recording of the gathering has been posted
at https://www.youtube.com/watch?v=vDzD7LYrrTU
>
>
[-- Attachment #1.2: Type: text/html, Size: 250 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-10-11 13:00 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-10-07 3:51 Voevodsky gathering will be streamed, live Daniel R. Grayson
2017-10-11 13:00 ` Daniel R. Grayson
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).