Working Group on Univalent Foundations Date & Time November 23, 2012 | 11:00am – 12:30pm Location S-101 Event Series Special year seminar - Math Categories Mathematics Academic Notes No Meeting Today -- IAS Closed for Thanksgiving Holiday Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
