Start date cannot be after end date.
John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective
Presenter
- John Harrison
February 13, 2023
IPAM
John Miao - Capturing the 3D Atomic Structure of Non-Crystalline Materials
Presenter
- Jianwei Miao
September 16, 2022
IPAM
John Miao - Coherent Diffractive Imaging: A Unification of Microscopy, Diffraction and Computation
Presenter
- Jianwei Miao
September 13, 2022
IPAM
Old and New Results on the Spread of the Spectrum of a Graph
Presenter
- John Urschel
December 6, 2021
IAS
Computational Challenges in Gravitational Wave Parameter Estimation
Presenter
- John Veitch
December 2, 2021
IPAM