Previous Special Year Seminar

Mar

15

2013

School of Mathematics Event

Working Group on Univalent Foundations

11:00am|S-101

Mar

14

2013

School of Mathematics Event

Univalent Foundations Seminar

Homotopy Colimits and a Descent Theorem

Egbert Rijke

11:00am|S-101

Mar

13

2013

School of Mathematics Event

Working Group on Univalent Foundations

1:30pm|West Bldg. Lecture Hall

Mar

13

2013

School of Mathematics Event

Univalent Foundations Seminar

Eilenberg-Mac Lane Spaces in HoTT

11:00am|S-101

Mar

12

2013

School of Mathematics Event

Working Group on Univalent Foundations

1:30pm|West Bldg. Lecture Hall

Mar

11

2013

School of Mathematics Event

Univalent Foundations Tutorial

4:00pm|S-101

Mar

08

2013

School of Mathematics Event

Working Group on Univalent Foundations

11:00am|S-101

Mar

07

2013

School of Mathematics Event

Univalent Foundations Seminar

Setoids, e-Categories, and Exact Completions

Richard Garner

11:00am|S-101

Mar

06

2013

School of Mathematics Event

Working Group on Univalent Foundations

1:30pm|West Bldg. Lecture Hall

Mar

06

2013

School of Mathematics Event

Univalent Foundations Seminar

Cohomology in Homotopy Type Theory

Eric Finster

11:00am|S-101