Videos

Start date cannot be after end date.
Formalization Of Mathematics Summer School: Formalizing Galois Theory Thumbnail

Formalization Of Mathematics Summer School: Formalizing Galois Theory

Presenter
  • Thomas Browning
June 14, 2023
SLMath
Efficient Stability for the Weyl-Heisenberg Group Thumbnail

Efficient Stability for the Weyl-Heisenberg Group

Presenter
  • Thomas Vidick
March 31, 2023
IAS

The Subspace Flatness Conjecture and Faster Integer Programming

Presenter
  • Thomas Rothvoss
March 30, 2023
ICERM
From Nonlocal Games to Undecidability Thumbnail

From Nonlocal Games to Undecidability

Presenter
  • Thomas Vidick
March 29, 2023
IAS
Thomas Hudson - Multiscale Modeling - IPAM at UCLA Thumbnail

Thomas Hudson - Multiscale Modeling - IPAM at UCLA

Presenter
  • Thomas Hudson
March 17, 2023
IPAM