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