Start date cannot be after end date.
Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA
Presenter
- Haniel Barbosa
February 14, 2023
IPAM
Nika Haghtalab - Learning and Persuading with Anecdotes
Presenter
- Nika Haghtalab
February 18, 2022
IPAM
Searching for Gravitational Waves from Magnetar Bursts
Presenter
- Ryan Quitzow-James
October 4, 2021
IPAM
A Stressful Tour of the COVID-19 Issue of the Harvard Data Science Review
Presenter
- Xiao-Li Meng
May 18, 2021
IMSI
Complexity of Computation of Tensor Rank and Best Rank One Approximation
Presenter
- Shmuel Friedland
May 18, 2021
IPAM
Reinforcement Learning for Integer Programming: Learning to Cut
Presenter
- Yunhao Tang
February 23, 2021
IPAM
Emergence of rigid polycrystals from atomistic systems
Presenter
- Manuel Friedrich
February 19, 2021
IMSI