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
Low-Depth Algebraic Circuit Lower Bounds Over Any Field Thumbnail

Low-Depth Algebraic Circuit Lower Bounds Over Any Field

Presenter
  • Michael Forbes
February 3, 2025
IAS
Reeb Orbits Frequently Intersecting a Symplectic Surface Thumbnail

Reeb Orbits Frequently Intersecting a Symplectic Surface

Presenter
  • Michael Hutchings
January 14, 2025
IAS
SunMonTueWedThuFriSat
303112345678910111213141516171819202122232425262728293012345678910
SunMonTueWedThuFriSat
303112345678910111213141516171819202122232425262728293012345678910