Videos

Start date cannot be after end date.

Sheaves for Wildfire Tracking and Semantic Type Checking

Presenter
  • Robert Green
May 21, 2026
ICERM

How to design tools for formalization

Presenter
  • Robert Lewis
May 13, 2026
ICERM

An online, adaptive finite element method for problems in nonsmooth PDE-constrained optimization

Presenter
  • Robert Baraldi
April 17, 2026
ICERM

Quantum Computing and Cellular Phones

Presenter
  • Robert Calderbank
April 11, 2026
ICERM

Fast Mixing MCMC without Gradients

Presenter
  • Robert Scheichl
March 5, 2026
ICERM

The Polar Express: Optimal Matrix Sign Methods and Their Application to the Muon Algorithm

Presenter
  • Robert Gower
February 6, 2026
ICERM

Everything is Vecchia: Unifying low-rank and sparse inverse approximations

Presenter
  • Robert Webber
February 5, 2026
ICERM
Localized Model Order Reduction via Multiscale Spectral Generalised Finite Elements Thumbnail

Localized Model Order Reduction via Multiscale Spectral Generalised Finite Elements

Presenter
  • Robert Scheichl
November 11, 2025
IMSI
Kinetic Theory: Novel Statistical, Stochastic and Analytical Methods: Global in time stability of equilibrium for general relativistic Boltzmann equation in the massless Robertson-Walker spacetime Thumbnail

Kinetic Theory: Novel Statistical, Stochastic and Analytical Methods: Global in time stability of equilibrium for general relativistic Boltzmann equation in the massless Robertson-Walker spacetime

Presenter
  • Robert Strand
October 22, 2025
SLMath

The Complex Roots of Random Sums

Presenter
  • Robert Vanderbei
August 6, 2025
ICERM
Triangulation candidates for Bayesian optimization Thumbnail

Triangulation candidates for Bayesian optimization

Presenter
  • Robert Gramacy
April 1, 2025
IMSI

Why Does Rigidity Matter?

Presenter
  • Robert Connelly
February 10, 2025
ICERM