Univalent Foundations Seminar - Peter Lumsdaine
Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalent Foundations Seminar - Steve Awodey
4th HLF – Lecture: Vladimir Voevodsky
Overview of Univalent Foundations - Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
Working Group on Univalent Foundations - Michael Shulman
Univalent Foundations and the Equivalence Principle by Benedikt Ahrens (INRIA Nantes, France)
Working Group on Univalent Foundations - Daniel Grayson
Andrei Rodin: "Univalent Foundations and Applied Mathematics"
Univalent Foundations of Mathematics - Vladimir Voevodsky
Computer-Assisted Proofs and Math. Understanding: the case of Univalent Foundations - Andrei Rodin
How I became seduced by univalent foundations
The Univalent Foundations through UniMath and some combinatorial problems (part 1)
A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)
Anders Mortberg: "Cubical Methods in Homotopy Type Theory and Univalent Foundations"
Univalence from a computer science point-of-view - Dan Licata
