Videos

Start date cannot be after end date.

2-torsion ideal classes in pure cubic fields

Presenter
  • Ari Shnidman
June 11, 2026
ICERM

Malle's conjecture in the LMFDB

Presenter
  • David Roe
June 9, 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

Feature-to-feature mapping for complex physics

Presenter
  • Roger Ghanem
March 4, 2026
ICERM

Structured Matrix Learning from Matrix-Vector Products

Presenter
  • Chris Musco
February 4, 2026
ICERM

Introductory Workshop: Topological and Geometric Structures in Low Dimensions & Geometry and Dynamics for Discrete Subgroups of Higher Rank Lie Groups: Flows and Thurston’s norm: Fibered faces

Presenter
  • Michael Landry
January 29, 2026
SLMath