Homotopy type theory: working invariantly in homotopy theory Date September 26, 2017 Speakers Guillaume Brunerie, Institute for Advanced Study Affiliation Member, School of Mathematics Files & Media shorttalkBrunerie.pdf School of Mathematics Short Talks by Postdoctoral Members