Videos

Start date cannot be after end date.

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

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
Lang-Trotter Phenomena and Unlikely Intersections Thumbnail

Lang-Trotter Phenomena and Unlikely Intersections

Presenter
  • Georgios Papas
April 15, 2026
IAS
Approximability for sSpaces of Lagrangian Submanifolds Thumbnail

Approximability for sSpaces of Lagrangian Submanifolds

Presenter
  • Octav Cornea
April 14, 2026
IAS
Equivariant Contact Floer Cohomology for Quotient Spaces Thumbnail

Equivariant Contact Floer Cohomology for Quotient Spaces

Presenter
  • Eric Kilgore
April 10, 2026
IAS
Compatibility of Canonical Local Systems and F-isocrystals on Shimura Varieties Thumbnail

Compatibility of Canonical Local Systems and F-isocrystals on Shimura Varieties

Presenter
  • Stefan Patrikis
April 6, 2026
IAS