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 82 Page 83 Page 84 Page 85 Current page 86 Page 87 Page 88 Page 89 Page 90…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
