Videos

Start date cannot be after end date.

Formalizing de Rham cohomology in Lean

Presenter
  • Yury Kudryashov
May 12, 2026
ICERM

The Sobolev embedding theorem via Fourier analysis

Presenter
  • Moritz Doll
May 11, 2026
ICERM

Towards the formalisation of PDEs in analysis

Presenter
  • Michael Rothgang
May 11, 2026
ICERM

Analysis for classical differential geometry

Presenter
  • Oliver Nash
May 11, 2026
ICERM

Advancing science and medicine with collaborative AI agents

Presenter
  • Vivek Natarajan
May 10, 2026
ICERM

Adaptive Swarms Across Scales

Presenter
  • Markus J. Buehler
May 9, 2026
ICERM

The Denario project: Deep knowledge AI agents for scientific discovery

Presenter
  • Francisco Villaescusa-Navarro
May 9, 2026
ICERM

TBA

Presenter
  • Bogdan Georgiev
May 9, 2026
ICERM