Start date cannot be after end date.
Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA
Presenter
- Johnathan Hanke
February 17, 2023
IPAM
From Lean to Natural Language and Back: Interfaces for Formal Proofs
Presenter
- Kyle Miller
April 26, 2025
ICERM
Sparse sampling methods for large scale experimental data
Presenter
- Rick Archibald
January 30, 2017
IPAM
Team 3: Materials Modeling: Shear Band Formation in Bulk Metallic Glasses
Presenter
- Timothy Burns
August 7, 2013
IMA
A Sheaf Theoretic Modeling and Composition Framework for Complex Systems of Systems: Application to the Traffic Collision Avoidance
Presenter
- Alberto Speranzon
February 3, 2017
IMA
Architectural Trends and Programming Model Strategies for Large-Scale Machines
Presenter
- Katherine Yelick
April 13, 2007
SLMath
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA
Presenter
- Bohua Zhan
February 16, 2023
IPAM
