Gluing in Homotopy Type Theory Date March 20, 2013 Speakers Michael Shulman Affiliation University of California, San Diego; Member, School of Mathematics School of Mathematics Univalent