Toward Higher Inductive Types Date November 14, 2012 Speakers Michael Shulman, Institute for Advanced Study Affiliation University of California, San Diego; Member, School of Mathematics School of Mathematics Univalent