Videos

Start date cannot be after end date.

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

April 14, 2029
IPAM

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

Two-Level Sketching Alternating Anderson acceleration for Complex Physics Applications

Presenter
  • Massimiliano Lupo Pasini
May 8, 2026
ICERM

Syunichi Shiraiwa - N/A

May 8, 2026
IPAM

James Cook - Parametric Tokamak Design in BLUEMIRA

May 8, 2026
IPAM

Asynchronous Methods on AMD GPU-Based Systems

Presenter
  • Katarzyna Swirydowicz
May 8, 2026
ICERM