Videos

Start date cannot be after end date.
Trace functions and special functions Thumbnail

Trace functions and special functions

Presenter
  • Will Sawin
February 10, 2017
SLMath
Vanishing cycles and bilinear forms Thumbnail

Vanishing cycles and bilinear forms

Presenter
  • Will Sawin
February 18, 2016
IAS

Synthetic Biology: A Mathematician's Tale

Presenter
  • Will Ott
June 8, 2015
MBI
Will Mathematics Ever Make Sense? Thumbnail

Will Mathematics Ever Make Sense?

Presenter
  • Alexander Givental
June 1, 2007
SLMath

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

April 17, 2029
IPAM

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

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

Presenter
  • Georg Stadler
April 17, 2026
ICERM