Formal Abstract Homotopy Theory Date February 28, 2013 Speakers Jeremy Avigad Affiliation Carnegie Mellon University School of Mathematics Univalent