Videos

Start date cannot be after end date.
Cohomology in Homotopy Type Theory Thumbnail

Cohomology in Homotopy Type Theory

Presenter
  • Eric Finster
March 6, 2013
IAS
Higher Dimensional Syntax  Thumbnail

Higher Dimensional Syntax

Presenter
  • Eric Finster
September 27, 2012
IAS
On Voevodsky's univalence principle Thumbnail

On Voevodsky's univalence principle

Presenter
  • AndrĂ© Joyal
September 11, 2018
IAS
Legendrian Non-Squeezing via Microsheaves Thumbnail

Legendrian Non-Squeezing via Microsheaves

Presenter
  • Eric Kilgore
April 15, 2025
IAS

The 2d ideal glass is an amorphous crystal

Presenter
  • Eric Corwin
April 7, 2025
ICERM
Invariants of Lattice Polytopes and Matroids Thumbnail

Invariants of Lattice Polytopes and Matroids

Presenter
  • Eric Katz
February 5, 2025
IAS
Orthogonality Broadcasting and Quantum Position Verification Thumbnail

Orthogonality Broadcasting and Quantum Position Verification

Presenter
  • Eric Chitambar
October 2, 2024
IMSI

Tropical iterated integrals and a unipotent Torelli theorem

Presenter
  • Eric Katz
May 16, 2024
ICERM