* ICMS 2016 most special session slides added
@ 2016-07-28 19:09 Vladimir Voevodsky
0 siblings, 0 replies; only message in thread
From: Vladimir Voevodsky @ 2016-07-28 19:09 UTC (permalink / raw)
To: Univalent Mathematics, Homotopy Type Theory; +Cc: Prof. Vladimir Voevodsky
[-- Attachment #1: Type: text/plain, Size: 253 bytes --]
Hello,
most slides for the special session “Univalent Foundations and Proof assistants” on the ICMS 2016 in Berlin are now added and accessible through http://icms2016.zib.de/sessions.html by clicking on our special session name.
Vladimir.
[-- Attachment #2: Message signed with OpenPGP using GPGMail --]
[-- Type: application/pgp-signature, Size: 507 bytes --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2016-07-28 19:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-07-28 19:09 ICMS 2016 most special session slides added Vladimir Voevodsky
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).