Videos

Start date cannot be after end date.

Takaharu Yaguchi - Geometric-Structure-Preserving Machine Learning for Cross-System Prediction of Conservative/Dissipative Hamiltonian Systems

September 18, 2026
IPAM

Robert Joseph George - Verified Scientific Machine Learning in Lean

September 18, 2026
IPAM

Matthew Sottile - Physics to Simulation: The Deep Stack of Formalization

September 18, 2026
IPAM

Andrew Appel - Building a Formally Verified Finite Element Method Solver, One Component At a Time

September 18, 2026
IPAM

Koji Hashimoto - On the interpretability of neural network solutions of PDEs in theoretical physics

September 18, 2026
IPAM

Bhavik Mehta - Formally Verified Numerics for Differential Equations

September 18, 2026
IPAM

Kazuaki Tanaka - Constructing Certified Enclosures with Neural Sub- and Super-Solutions

September 17, 2026
IPAM

Samuel Pollard - Formal Verification of High Consequence Systems

September 17, 2026
IPAM

Allison Baker - Is it still correct? Quality assurance for an Earth System Model

September 17, 2026
IPAM

Phase Field Models and Continuous Data Assimilation

Presenter
  • Amanda Diegel
March 15, 2024
ICERM

PDE: spectra, geometry and spectral geometry

Presenter
  • Nilima Nigam
March 15, 2024
ICERM

Numerical Approximation of the Stochastic Allen-Cahn Equation

Presenter
  • Noel Walkington
March 14, 2024
ICERM