Start date cannot be after end date.
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
Sasha Garbali - Shuffle algebras, lattice paths and Macdonald functions - IPAM at UCLA
Presenter
- Sasha Garbali
May 21, 2024
IPAM
Juan Carrasquilla - Training Binary Neural Networks in Quantum Superposition - IPAM at UCLA
Presenter
- Juan Carrasquilla
October 16, 2023
IPAM
Yihui Quek - Signal and noise: learning with random quantum circuits and other agents of chaos
Presenter
- Yihui Quek
October 16, 2023
IPAM
Davide Donadio - Molecular Dynamics of Solutions out of Equilibrium - IPAM at UCLA
Presenter
- Davide Donadio
October 28, 2025
IPAM
Mark Tuckerman - Beating viscosity-conductivity inverse relation to create electrolyte for battery
Presenter
- Mark Tuckerman
October 28, 2025
IPAM
Petar Veličković - Reasoning Algorithmically: from Toy Experiments to AGI Modules - IPAM at UCLA
Presenter
- Petar Veličković
March 2, 2023
IPAM
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA
Presenter
- Petra Hozzova
February 17, 2023
IPAM
Craig Plaisance - Modeling Electrocatalysis Without the Pain: Past, Present, and Future
Presenter
- Craig Plaisance
October 6, 2025
IPAM
Jason Altschuler - Near-Linear Runtime for a Classical Matrix Preconditioning Algorithm
Presenter
- Jason Altschuler
May 22, 2025
IPAM
Ahmed El Hady - Mechanistic theory of social foraging - IPAM at UCLA
Presenter
- Ahmed El Hady
November 18, 2024
IPAM
Susanne Schreiber - Beyond classical connectivity: a look at gap junctions and mitochondria
Presenter
- Susanne Schreiber
February 14, 2024
IPAM