Videos

Start date cannot be after end date.
Vanishing cycles and bilinear forms Thumbnail

Vanishing cycles and bilinear forms

Presenter
  • Will Sawin
February 18, 2016
IAS
Will Mathematics Ever Make Sense? Thumbnail

Will Mathematics Ever Make Sense?

Presenter
  • Alexander Givental
June 1, 2007
SLMath
Singular or Global, Pick Your Poison Thumbnail

Singular or Global, Pick Your Poison

Presenter
  • David Nadler
May 22, 2026
IAS

Complex Analysis in PNT+ and Real Analysis as a Game

Presenter
  • Alex Kontorovich
May 14, 2026
ICERM

ODEs and Integral Curves on Manifolds

Presenter
  • Winston Yin
May 12, 2026
ICERM

Formalizing de Rham cohomology in Lean

Presenter
  • Yury Kudryashov
May 12, 2026
ICERM

Towards the formalisation of PDEs in analysis

Presenter
  • Michael Rothgang
May 11, 2026
ICERM
AdS3 Quantum Gravity via Finite-N Expansions Thumbnail

AdS3 Quantum Gravity via Finite-N Expansions

Presenter
  • Wei Li
May 8, 2026
IAS

Skywing: A software platform for collaborative autonomy

Presenter
  • Annika Mauro
May 6, 2026
ICERM

Quantized soliton motion in Nonlinear Photonic Thouless Pumps

Presenter
  • Mikael Rechtsman
April 27, 2026
ICERM

Ammar Hakim - BEACONS and BEACONS-FM: Lighting a Path to Modular, Composable, Formally Verified Fusion Foundation Models

April 17, 2026
IPAM

Inference of constitutive relations from data through integration of PDE with neural networks

Presenter
  • Georg Stadler
April 17, 2026
ICERM