Previous Special Year Seminar Jan 29 2013 Working Group on Univalent Foundations 1:30pm|S-101 Jan 28 2013 Univalent Foundations Tutorial 4:00pm|S-101 Jan 25 2013 Working Group on Univalent Foundations 11:00am|S-101 Jan 24 2013 Univalent Foundations Seminar Orthogonal factorization in HoTT Egbert Rijke 11:00am|S-101 Jan 23 2013 Working Group on Univalent Foundations 1:30pm|S-101 Jan 23 2013 Univalent Foundations Seminar Homotopy and UnivalenceThorsten Altenkirch11:00am|S-101 Jan 22 2013 Working Group on Univalent Foundations 1:30pm|S-101 Jan 21 2013 Univalent Foundations Tutorial 4:00pm|S-101 Jan 18 2013 Working Group on Univalent Foundations 11:00am|S-101 Jan 17 2013 Univalent Foundations Seminar State of the New Proof Assistant Daniel Grayson 11:00am|S-101PaginationFirst page« FirstPrevious page‹ Previous… Page 83 Page 84 Page 85 Page 86 Current page 87 Page 88 Page 89 Page 90 Page 91…Next pageNext ›Last pageLast »
Jan 24 2013 Univalent Foundations Seminar Orthogonal factorization in HoTT Egbert Rijke 11:00am|S-101
Jan 17 2013 Univalent Foundations Seminar State of the New Proof Assistant Daniel Grayson 11:00am|S-101
