Videos

Start date cannot be after end date.
Towards elementary infinity-toposes Thumbnail

Towards elementary infinity-toposes

Presenter
  • Michael Shulman
September 13, 2018
IAS
Semantics of Higher Inductive Types Thumbnail

Semantics of Higher Inductive Types

Presenter
  • Michael Shulman
February 27, 2013
IAS
Working Group on Univalent Foundations Thumbnail

Working Group on Univalent Foundations

Presenter
  • Michael Shulman
December 12, 2012
IAS
Toward Higher Inductive Types Thumbnail

Toward Higher Inductive Types

Presenter
  • Michael Shulman
November 14, 2012
IAS
Inernal Languages for Higher Toposes Thumbnail

Inernal Languages for Higher Toposes

Presenter
  • Michael Shulman
October 3, 2012
IAS
Wild Hurwitz Moduli Spaces and Level Structures Thumbnail

Wild Hurwitz Moduli Spaces and Level Structures

Presenter
  • Michael Temkin
December 12, 2025
IAS
New Methods in Resolution of Singularities Thumbnail

New Methods in Resolution of Singularities

Presenter
  • Michael Temkin
December 8, 2025
IAS