Videos

Start date cannot be after end date.

Paul Christiano - Explaining computational phenomena

August 31, 2026
IPAM

Fibers of point cloud persistence

Presenter
  • Louis Theran
July 6, 2026
ICERM

Effective spectra

Presenter
  • Benjamin Antieau
June 26, 2026
ICERM

Building mathematical databases

Presenter
  • David Roe
June 24, 2026
ICERM

Machine computation of the equivariant slice spectral sequence

Presenter
  • Danny Shi
June 24, 2026
ICERM

Topology and algebra in SageMath

Presenter
  • John Palmieri
June 23, 2026
ICERM

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