Videos

Start date cannot be after end date.

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

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
Definable Norms on Riemann-Zariski Spaces Thumbnail

Definable Norms on Riemann-Zariski Spaces

Presenter
  • Michal Szachniewicz
March 12, 2026
IAS
Matroids and the Integral Hodge Conjecture for Abelian Varieties Thumbnail

Matroids and the Integral Hodge Conjecture for Abelian Varieties

Presenter
  • Philip Engel
March 9, 2026
IAS