Previous Special Year Seminar

Feb

20

2013

School of Mathematics Event

Working Group on Univalent Foundations

1:30pm|S-101

Feb

20

2013

School of Mathematics Event

Univalent Foundations Seminar

pi_2(s^2) in HoTT

Guillaume Brunerie

11:00am|S-101

Feb

19

2013

School of Mathematics Event

Working Group on Univalent Foundations

1:30pm|S-101

Feb

18

2013

School of Mathematics Event

Univalent Foundations Tutorial

4:00pm|S-101

Feb

15

2013

School of Mathematics Event

Working Group on Univalent Foundations

11:00am|S-101

Feb

14

2013

School of Mathematics Event

Univalent Foundations Seminar

On Finite Types That Are Not h-Sets

Sergey Melikhov

11:00am|S-101

Feb

13

2013

School of Mathematics Event

Working Group on Univalent Foundations

1:30pm|S-101

Feb

13

2013

School of Mathematics Event

Univalent Foundations Seminar

The Hopf Fibration via Higher Inductive Types

Peter Lumsdaine

11:00am|S-101

Feb

12

2013

School of Mathematics Event

Working Group on Univalent Foundations

1:30pm|S-101

Feb

11

2013

School of Mathematics Event

Univalent Foundations Tutorial

4:00pm|S-101