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
Regression under network interference Thumbnail

Regression under network interference

Presenter
  • Michael Schweinberger
January 14, 2026
IMSI
Wild Hurwitz Moduli Spaces and Level Structures Thumbnail

Wild Hurwitz Moduli Spaces and Level Structures

Presenter
  • Michael Temkin
December 12, 2025
IAS