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

Mixture models for phylogenetic analysis in IQTREE2

Presenter
  • Thomas Wong
November 20, 2024
ICERM
Twisted (co)homology of Matroids Thumbnail

Twisted (co)homology of Matroids

Presenter
  • Thomas Lam
November 7, 2024
IAS
Taut Foliations Through a Contact Lens Thumbnail

Taut Foliations Through a Contact Lens

Presenter
  • Thomas Massoni
January 29, 2024
IAS