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
Probing Moduli Space Cohomology Using Quantum Field Theory Thumbnail

Probing Moduli Space Cohomology Using Quantum Field Theory

Presenter
  • Michael Borinsky
November 18, 2024
IAS
Michael Levin - Non-neural intelligence: biological architecture problem-solving in diverse spaces Thumbnail

Michael Levin - Non-neural intelligence: biological architecture problem-solving in diverse spaces

Presenter
  • Michael Levin
November 6, 2024
IPAM
Counting Representations of Fuchsian Groups Over Finite Fields Thumbnail

Counting Representations of Fuchsian Groups Over Finite Fields

Presenter
  • Michael Larsen
November 1, 2024
IAS
Classification of Some Open Toric Domains Thumbnail

Classification of Some Open Toric Domains

Presenter
  • Michael Hutchings
November 1, 2024
IAS
Subgroup Tests and Tailored Non-local Games Thumbnail

Subgroup Tests and Tailored Non-local Games

Presenter
  • Michael Chapman
October 8, 2024
IAS
Subgroup Tests and the Aldous--Lyons Conjecture Thumbnail

Subgroup Tests and the Aldous--Lyons Conjecture

Presenter
  • Michael Chapman
October 7, 2024
IAS
Michael Murray - Overfitting: benign, tempered and harmful - IPAM at UCLA Thumbnail

Michael Murray - Overfitting: benign, tempered and harmful - IPAM at UCLA

Presenter
  • Michael Murray
September 24, 2024
IPAM