Videos

Start date cannot be after end date.

Steve Cowley - Multi-scale Plasma Turbulence — the key to fusion power

April 14, 2029
IPAM

The Integrated Explicit Analytic Number Theory Network : a progress report

Presenter
  • Terence Tao
May 15, 2026
ICERM

Formalizing variation estimates for commuting transformations

Presenter
  • Floris van Doorn
May 15, 2026
ICERM

Formally verifying numerics for differential equations

Presenter
  • Bhavik Mehta
May 14, 2026
ICERM

Complex Analysis in PNT+ and Real Analysis as a Game

Presenter
  • Alex Kontorovich
May 14, 2026
ICERM

Obstacles and opportunities in the formalization of operator algebras

Presenter
  • Jireh Loreaux
May 13, 2026
ICERM

TBA

Presenter
  • Bogdan Georgiev
May 13, 2026
ICERM

How to design tools for formalization

Presenter
  • Robert Lewis
May 13, 2026
ICERM

ODEs and Integral Curves on Manifolds

Presenter
  • Winston Yin
May 12, 2026
ICERM

Computing Derivatives

Presenter
  • Tomas Skrivan
May 12, 2026
ICERM

Spaces of classical distributions and locally convex spaces in Mathlib

Presenter
  • Anatole Dedecker
May 12, 2026
ICERM

Formalizing de Rham cohomology in Lean

Presenter
  • Yury Kudryashov
May 12, 2026
ICERM