Univalent Foundations Seminar Formal Abstract Homotopy Theory Date & Time February 28, 2013 | 11:00am – 12:30pm Location S-101 Speakers Jeremy Avigad Affiliation Carnegie Mellon University Event Series Special year seminar - Math Categories Mathematics Academic Video Formal Abstract Homotopy Theory Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
