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