Videos

Start date cannot be after end date.
Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA Thumbnail

Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA

Presenter
  • Pascal Fontaine
February 16, 2023
IPAM
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq Thumbnail

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

Presenter
  • Micaela Mayero
February 15, 2023
IPAM
Diophantine Geometry Introductory Workshop: Heights of Rational Points on Stacks Thumbnail

Diophantine Geometry Introductory Workshop: Heights of Rational Points on Stacks

Presenter
  • Jordan Ellenberg
February 6, 2023
SLMath
Diophantine Geometry Connections Workshop: Recent Progress in Nonabelian Cohen--Lenstra Program Thumbnail

Diophantine Geometry Connections Workshop: Recent Progress in Nonabelian Cohen--Lenstra Program

Presenter
  • Yuan Liu
February 2, 2023
SLMath
Driving the Justice Agenda Forward Thumbnail

Driving the Justice Agenda Forward

Presenter
  • Carrie Diaz Eaton
February 2, 2023
IMSI
Rose Yu - Incorporating Symmetry for Learning Spatiotemporal Dynamics - IPAM at UCLA Thumbnail

Rose Yu - Incorporating Symmetry for Learning Spatiotemporal Dynamics - IPAM at UCLA

Presenter
  • Rose Yu
January 26, 2023
IPAM
Mark Iwen - Accurate Recovery of Compactly Supported Smooth Functions from Spectrogram Measurements Thumbnail

Mark Iwen - Accurate Recovery of Compactly Supported Smooth Functions from Spectrogram Measurements

Presenter
  • Mark Iwen
December 1, 2022
IPAM
Smoothed Complexity of Local Max-Cut with Two Flips Thumbnail

Smoothed Complexity of Local Max-Cut with Two Flips

Presenter
  • Xi Chen
November 7, 2022
IAS
High-resolution climate modeling using coarse-scale models and reanalysis data Thumbnail

High-resolution climate modeling using coarse-scale models and reanalysis data

Presenter
  • Themistoklis Sapsis
November 3, 2022
IMSI
Polynomial Maps With Noisy Input-Distributions Thumbnail

Polynomial Maps With Noisy Input-Distributions

Presenter
  • Jop Briet
October 25, 2022
IAS
Houlin Xin - AI inroads in imaging sciences for materials research - IPAM at UCLA Thumbnail

Houlin Xin - AI inroads in imaging sciences for materials research - IPAM at UCLA

Presenter
  • Houlin Xin
October 24, 2022
IPAM
Peter Tass - Using Maths and Physics to Treat Parkinson’s With a Vibrating Glove Thumbnail

Peter Tass - Using Maths and Physics to Treat Parkinson’s With a Vibrating Glove

Presenter
  • Peter Tass
August 30, 2022
IPAM