Eilenberg-Mac Lane Spaces in HoTT Date March 13, 2013 Speakers Daniel Licata, Institute for Advanced Study Affiliation Carnegie Mellon University; Member, School of Mathematics School of Mathematics Univalent