Guillaume Brunerie (Univ. Nice Sophia Antipolis), Homotopy type theory and homotopy groups of spheres



I will give an overview of homotopy type theory (HoTT), a field combining abstract homotopy theory with dependent type theory. I will then explain the problem of computing homotopy groups of spheres and how it relates to homotopy type theory.