Start date cannot be after end date.
Formalization Of Mathematics Summer School: Finiteness and Graph Theory
Presenter
- Kyle Miller
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: From Lean to Informal Mathematics
Presenter
- Kyle Miller
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Forgetful Inheritance, Hom-Like and Set-Like
Presenter
- Kyle Miller
June 8, 2023
SLMath
Kyle Cranmer - Connections and cross pollination from quarks to the cosmos - IPAM at UCLA
Presenter
- Kyle Cranmer
January 26, 2023
IPAM
Simulation-based Inference for Gravitational Wave Astronomy
Presenter
- Kyle Cranmer
November 17, 2021
IPAM
Quarks, hierarchical clustering, and combinatorial optimization
Presenter
- Kyle Cranmer
February 22, 2021
IPAM