Previous Special Year Seminar Jan 31 2013 Univalent Foundations Seminar The Calculus of Opetopes Eric Finster 11:00am|S-101 Jan 30 2013 Working Group on Univalent Foundations 1:30pm|S-101 Jan 30 2013 Univalent Foundations Seminar Weak Infinity Groupoids in HoTTGuillaume Brunerie11:00am|S-101 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-101PaginationFirst page« FirstPrevious page‹ Previous… Page 74 Page 75 Page 76 Page 77 Current page 78 Page 79 Page 80 Page 81 Page 82…Next pageNext ›Last pageLast »
Jan 30 2013 Univalent Foundations Seminar Weak Infinity Groupoids in HoTTGuillaume Brunerie11:00am|S-101
Jan 24 2013 Univalent Foundations Seminar Orthogonal factorization in HoTT Egbert Rijke 11:00am|S-101