Videos

Start date cannot be after end date.

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

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

Role-Specialized Agentic Orchestration for Adaptive Learning and Trustworthy Verification and Validation

Presenter
  • Guang Lin
May 10, 2026
ICERM

Advancing science and medicine with collaborative AI agents

Presenter
  • Vivek Natarajan
May 10, 2026
ICERM

Force-Conditioned Video Models as Physical World Models for Agents

Presenter
  • Chen Sun
May 9, 2026
ICERM

Adaptive Swarms Across Scales

Presenter
  • Markus J. Buehler
May 9, 2026
ICERM