Start date cannot be after end date.
Compiled nonlocal games: sum-of-squares optimization meets cryptography?
Presenter
- Anand Natarajan
April 25, 2023
ICERM
Streaming algorithms for k-submodular maximization and ad allocation
Presenter
- Alina Ene
March 31, 2023
ICERM
Homogeneous Structures in Subset Sums and Non-averaging Sets
Presenter
- David Conlon
March 7, 2023
IAS
Timo Berthold - Machine Learning inside MIP solvers - IPAM at UCLA
Presenter
- Timo Berthold
March 1, 2023
IPAM
Yuandong Tian - AI-guided nonlinear optimization for real-world problems - IPAM at UCLA
February 28, 2023
IPAM
Yuandong Tian - AI-guided nonlinear optimization for real-world problems - IPAM at UCLA
Presenter
- Yuandong Tian
February 28, 2023
IPAM
Segev Wasserkug - Democratizing Optimization Modeling: Status, Challenges, and Future Directions
Presenter
- Segev Wasserkug
February 28, 2023
IPAM
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
Presenter
- Micaela Mayero
February 15, 2023
IPAM
Diophantine Geometry Introductory Workshop: Heights of Rational Points on Stacks
Presenter
- Jordan Ellenberg
February 6, 2023
SLMath