Computing with Univalence Date September 28, 2012 Speakers Daniel Licata Affiliation Carnegie Mellon University; Member, School of Mathematics School of Mathematics