Weak Infinity Groupoids in HoTT Date January 30, 2013 Affiliation School of Mathematics, IAS Speakers Guillaume Brunerie School of Mathematics Univalent