Homotopy type theory seminar and reading group

- 19 April 2018: Paige North, on A type theory for synthetic ∞-categories
- 12 April 2018: Paige North, on A type theory for synthetic ∞-categories
- 5 April 2018: Paige North, on A type theory for synthetic ∞-categories
- 29 March 2018: Neil DeBoer, on Cubical type theory
- 22 March 2018: Neil DeBoer, on Cubical type theory
- 8 March 2018: Neil DeBoer, on Cubical type theory
- 1 March 2018: Sanjeevi Krishnan, on complete Segal spaces
- 22 February 2018: Sanjeevi Krishnan, on simplicial homotopy theory
- 15 February 2018: Sanjeevi Krishnan, on simplicial homotopy theory
- 8 February 2018: Benedikt Ahrens, on univalent categories
- 1 February 2018: Benedikt Ahrens, on the equivalence principle
- 25 January 2018: Paige North, on identity types and weak factorization systems
- 18 January 2018: Paige North, on identity types and weak factorization systems
- 5 December 2017: Paige North, on identity types and weak factorization systems
- 28 November 2017: Neil DeBoer, on an introduction to homotopy type theory
- 14 November 2017: Neil DeBoer, on an introduction to homotopy type theory