Start date cannot be after end date.
Verified Mathematical Reasoning with Lean and Language Models
Presenter
- Robert Joseph George
April 26, 2025
ICERM
Best Current Parallel in Time Methods for Parabolic and Hyperbolic Problems
Presenter
- Martin Gander
February 6, 2025
IMSI
Rafa Fuentes - The effects of rotation on entrainment and layered convection in gas giants
Presenter
- Rafa Fuentes
January 28, 2025
IPAM
Distributed Computing for Physics-Based Data-Driven Reduced Modeling at Scale
Presenter
- Ionut Farcas
January 9, 2025
ICERM
Joshua Tan - Composing games into complex institutions - IPAM at UCLA
Presenter
- Joshua Tan
November 19, 2024
IPAM
Patrick Shafto - Common Ground in Cooperative Communication - IPAM at UCLA
Presenter
- Patrick Shafto
October 15, 2024
IPAM
A Forward Energy Market to Improve Reliability and Resiliency
Presenter
- Peter Cramton
August 20, 2024
IMSI
Exascale Simulation Methods for Complex Multiscale Turbulence in the Tokamak Edge Pedestal
Presenter
- Emily Belli
February 19, 2024
IMSI
Feng Pan - Arbitrary Tensor Network Algorithm: Theory, Methods and Applications - IPAM at UCLA
Presenter
- Feng Pan
February 7, 2024
IPAM
Randomization, Neutrality, and Fairness: Characterizing General Top Trading Cycles Mechanisms
Presenter
- Bettina Klaus
October 23, 2023
SLMath
Maria Schuld - How to rethink quantum machine learning - IPAM at UCLA
Presenter
- Maria Schuld
October 16, 2023
IPAM