Working Group on Univalent Foundations Date & Time September 26, 2012 | 1:30pm – 3:00pm Location Dilworth Room - Rear Event Series Special year seminar - Math Categories Mathematics Academic Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
