Videos

Start date cannot be after end date.
The Exact k-SAT Threshold for Large k Thumbnail

The Exact k-SAT Threshold for Large k

Presenter
  • Nike Sun
May 19, 2015
IMA
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
Refuting Smoothed k-SAT Formulas and a Proof of Feige's Conjecture Thumbnail

Refuting Smoothed k-SAT Formulas and a Proof of Feige's Conjecture

Presenter
  • Pravesh Kothari
February 28, 2022
IAS
The Persistent Topology of Dynamic Data Thumbnail

The Persistent Topology of Dynamic Data

Presenter
  • Woojin Kim
May 4, 2021
SLMath
Finding Needles in Exponential Haystacks Thumbnail

Finding Needles in Exponential Haystacks

Presenter
  • Joel Spencer
September 11, 2014
IMA
Socles, quasi-socles, and integral dependence Thumbnail

Socles, quasi-socles, and integral dependence

Presenter
  • Bernd Ulrich
February 16, 2013
SLMath