Videos

Start date cannot be after end date.
Introduction to the Langlands program and the Fundamental Lemma, 3 Thumbnail

Introduction to the Langlands program and the Fundamental Lemma, 3

Presenter
  • Thomas Hales
September 4, 2014
SLMath
Introduction to the Langlands program and the Fundamental Lemma, 2 Thumbnail

Introduction to the Langlands program and the Fundamental Lemma, 2

Presenter
  • Thomas Hales
September 3, 2014
SLMath
Introduction to the Langlands program and the Fundamental Lemma Thumbnail

Introduction to the Langlands program and the Fundamental Lemma

Presenter
  • Thomas Hales
September 2, 2014
SLMath
Computers and the Future of Mathematical Proof Thumbnail

Computers and the Future of Mathematical Proof

Presenter
  • Thomas Hales
March 30, 2005
IMA

Critical Phenomena in the Collapse of Gravitational Waves

Presenter
  • Thomas Baumgarte
January 5, 2026
ICERM
L2 cohomology and maximal rigid subalgebras of s-malleable deformations Thumbnail

L2 cohomology and maximal rigid subalgebras of s-malleable deformations

Presenter
  • Rolando de Santiago
January 27, 2021
IPAM
General Hardness Amplification of Predicates and Puzzles Thumbnail

General Hardness Amplification of Predicates and Puzzles

Presenter
  • Grant Schoenbeck
March 29, 2011
IAS

Webs and the tropical Grassmannian

Presenter
  • Thomas Lam
December 9, 2025
ICERM
Symplectic Rigidity of Anosov Flows Under Orbit Equivalence Thumbnail

Symplectic Rigidity of Anosov Flows Under Orbit Equivalence

Presenter
  • Thomas Massoni
December 9, 2025
IAS
Towards Decision-Ready Operator Surrogates Thumbnail

Towards Decision-Ready Operator Surrogates

Presenter
  • Thomas O'Leary-Roseberry
October 9, 2025
IMSI