Videos

Start date cannot be after end date.
Toward Higher Inductive Types Thumbnail

Toward Higher Inductive Types

Presenter
  • Michael Shulman
November 14, 2012
IAS
Cremmer-Gervais Cluster Algebras Thumbnail

Cremmer-Gervais Cluster Algebras

Presenter
  • Michael Gekhtman
November 2, 2012
SLMath
Inernal Languages for Higher Toposes Thumbnail

Inernal Languages for Higher Toposes

Presenter
  • Michael Shulman
October 3, 2012
IAS
Noncommutative Algebraic Geometry Summer School, 9 Thumbnail

Noncommutative Algebraic Geometry Summer School, 9

Presenter
  • Michael Wemyss
June 22, 2012
SLMath
Noncommutative Algebraic Geometry Summer School, 7 Thumbnail

Noncommutative Algebraic Geometry Summer School, 7

Presenter
  • Michael Wemyss
June 21, 2012
SLMath
Noncommutative Algebraic Geometry Summer School, 5 Thumbnail

Noncommutative Algebraic Geometry Summer School, 5

Presenter
  • Michael Wemyss
June 20, 2012
SLMath