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
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