Videos

Start date cannot be after end date.

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

Introduction to homotopy type theory

Presenter
  • Reid Barton
June 24, 2026
ICERM

Automatic differential propagation in spectral sequences

Presenter
  • Eva Belmont
June 23, 2026
ICERM

Topology and algebra in SageMath

Presenter
  • John Palmieri
June 23, 2026
ICERM

TBA

Presenter
  • Thomas Brazelton
June 23, 2026
ICERM
Symplectic Excision and Distance Rigidity Thumbnail

Symplectic Excision and Distance Rigidity

Presenter
  • Yoel Groman
June 12, 2026
IAS
Algebraic Hodge Generic Points are Dense Thumbnail

Algebraic Hodge Generic Points are Dense

Presenter
  • Gregorio Baldi
June 12, 2026
IAS

2-torsion ideal classes in pure cubic fields

Presenter
  • Ari Shnidman
June 11, 2026
ICERM

Computing unramified Brauer groups

Presenter
  • Lucas Lagarde
June 10, 2026
ICERM

Malle's conjecture in the LMFDB

Presenter
  • David Roe
June 9, 2026
ICERM
A Probabilistic Construction of Bipartite Ramanujan Graphs Thumbnail

A Probabilistic Construction of Bipartite Ramanujan Graphs

Presenter
  • Yotam Dikstein
June 9, 2026
IAS