Univalent foundations and the equivalence principle Date September 21, 2015 Speakers Benedikt Ahrens, Institute for Advanced Study Affiliation Member, School of Mathematics Files & Media IAS2015.pdf School of Mathematics Short Talks by Postdoctoral Members