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
Linial--Meshulam Complexes Thumbnail

Linial--Meshulam Complexes

Presenter
  • Michael Chapman
November 25, 2025
IAS
Michael Eikerling - Local Reaction in Electrocatalytic Media: Interface Theory, Realism, Complexity Thumbnail

Michael Eikerling - Local Reaction in Electrocatalytic Media: Interface Theory, Realism, Complexity

Presenter
  • Michael Eikerling
October 27, 2025
IPAM
Reeb Orbits Frequently Intersecting a Symplectic Surface Thumbnail

Reeb Orbits Frequently Intersecting a Symplectic Surface

Presenter
  • Michael Hutchings
October 17, 2025
IAS
Michael Herbst - Algorithmic differentiation (AD) for plane-wave DFT - IPAM at UCLA Thumbnail

Michael Herbst - Algorithmic differentiation (AD) for plane-wave DFT - IPAM at UCLA

Presenter
  • Michael Herbst
October 9, 2025
IPAM
Michael Murillo - Non-Hydrodynamic Phenomena Near Plasma Interfaces - IPAM at UCLA Thumbnail

Michael Murillo - Non-Hydrodynamic Phenomena Near Plasma Interfaces - IPAM at UCLA

Presenter
  • Michael Murillo
September 15, 2025
IPAM

Visualizing genus zero dessins

Presenter
  • Michael Musty
August 12, 2025
ICERM

International Vaccine Allocation: An Optimization Framework

Presenter
  • Michael Veatch
May 19, 2025
ICERM