Videos

Start date cannot be after end date.

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

September 18, 2026
IPAM

Automorphisms of quartic surfaces and Cremona transformations II

Presenter
  • Carolina Araujo
September 18, 2026
ICERM

Bhavik Mehta - Formally Verified Numerics for Differential Equations

September 18, 2026
IPAM
On $L^p$ Density of Self-Similar Measures and Continuous Bernoulli Convolutions Thumbnail

On $L^p$ Density of Self-Similar Measures and Continuous Bernoulli Convolutions

Presenter
  • Constantin Kogler
September 18, 2026
IAS

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

September 17, 2026
IPAM

K3 surfaces that are triple covers of the plane

Presenter
  • Dino Festi
September 17, 2026
ICERM

Samuel Pollard - Formal Verification of High Consequence Systems

September 17, 2026
IPAM

Zeta functions of K3 surfaces over finite fields

Presenter
  • Kiran Kedlaya
September 17, 2026
ICERM

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

September 17, 2026
IPAM

Minicourse: Computing Picard Lattices of K3 Surfaces (part 1)

Presenter
  • Edgar Costa
September 16, 2026
ICERM

Minicourse: K3 surfaces quotients of K3 surfaces

Presenter
  • Alice Garbagnati
September 16, 2026
ICERM

Arithmetic Properties of K3 Surfaces with Large Automorphism Groups

Presenter
  • Joseph Silverman
September 15, 2026
ICERM