Computer Science and Homotopy Theory - Vladimir Voevodsky
Chromatic homotopy theory - Irina Bobkova
Eric Finster : Homotopy Theory and Constructive Mathematics
Cubical Synthetic Homotopy Theory
Homotopy Type Theory Discussed - Computerphile
Homotopy Type Theory: what can logic do for homotopy theory? - Peter Lumsdaine
eCHT seminar on machine computation in homotopy theory, Robert Bruner, 30 September 2021
Invariant homotopy theory in the univalent foundations - Guillaume Brunerie
Ulrike Tillmann - Topological field theories in homotopy theory
Equivariant and motivic stable homotopy theory - Hana Jia Kong
François Métayer: Homotopy theory of strict omega-categories and its connections with...Part 1
Homotopy II: Presentation of the lecture
Marek Filakovský "Equivariant maps and polynomial-time decidability of the r--Tverberg problem"
Tom Bachmann: Motivic real étale homotopy theory revisited
Xu: Motivic stable homotopy groups of spheres and the Chow t-structure
Guozhen Wang, Zhouli Xu: Stable homotopy groups of spheres and motivic homotopy theory
Towards computable homotopy theory - Andrew Swan
eCHT seminar on machine computation in homotopy theory, Christian Nassau, 28 October 2021
Computer Science ∩ Mathematics (Type Theory) - Computerphile
Computations in the stable homotopy groups of spheres