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
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
Thomas Swinburne - Functional simulations for uncertainty quantification and inverse problems Thumbnail

Thomas Swinburne - Functional simulations for uncertainty quantification and inverse problems

Presenter
  • Thomas Swinburne
October 29, 2025
IPAM
Towards Decision-Ready Operator Surrogates Thumbnail

Towards Decision-Ready Operator Surrogates

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

Using Acceleration as a Service: Rethinking HPC Infrastrucutre in the AI Era

Presenter
  • Thomas Schulthess
September 13, 2025
ICERM
Using Logic to Investigate Homeomorphism Groups of Manifolds Thumbnail

Using Logic to Investigate Homeomorphism Groups of Manifolds

Presenter
  • Thomas Koberda
April 1, 2025
IAS
Using h-Cobordisms to Detect Non-Trivial Homotopy Groups in Spaces of Legendrian Thumbnail

Using h-Cobordisms to Detect Non-Trivial Homotopy Groups in Spaces of Legendrian

Presenter
  • Thomas Kragh
December 13, 2024
IAS

Mixture models for phylogenetic analysis in IQTREE2

Presenter
  • Thomas Wong
November 20, 2024
ICERM