Videos

Start date cannot be after end date.

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

Malle's conjecture in the LMFDB

Presenter
  • David Roe
June 9, 2026
ICERM
An Average-Degree Bound for Hamming Hypergraphs, with Applications to Optimal PAC Learning Thumbnail

An Average-Degree Bound for Hamming Hypergraphs, with Applications to Optimal PAC Learning

Presenter
  • Nataly Brukhim
May 26, 2026
IAS
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