Start date cannot be after end date.
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA
Presenter
- Patrick Massot
February 15, 2023
IPAM
Cutting plane method: A faster algorithm for many (combinatorial) optimization problems
Presenter
- Yin Tat
November 9, 2015
IAS
CSDM: A Survey of Lower Bounds for the Resolution Proof System
Presenter
- Avi Wigderson
January 31, 2012
IAS
From Dynamics to Algorithms for Optimization and Sampling
Presenter
- Andre Wibisono
June 24, 2024
ICERM
Ensemble preconditioning for Markov chain Monte Carlo
Presenter
- Jonathan Weare
October 20, 2017
IPAM
Multigrid Methods in Multiscale Modeling of Atomistic Solids
Presenter
- Carlos Garcia-Cervera
October 4, 2012
IPAM
