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