Start date cannot be after end date.
Leonardo de Moura - The Lean proof assistant: introduction and challenges - IPAM at UCLA
Presenter
- Leonardo de Moura
February 14, 2023
IPAM
Graph Induced Complex: A Data Sparsifier for Homology Inference
Presenter
- Tamal Dey
October 30, 2013
IMA
Anne Baanen - Computing with or despite the computer - IPAM at UCLA
Presenter
- Anne Baanen
February 14, 2023
IPAM
Haniel Barbosa - Better SMT proofs for certifying compliance and correctness - IPAM at UCLA
Presenter
- Haniel Barbosa
February 14, 2023
IPAM
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: From Lean to Informal Mathematics
Presenter
- Kyle Miller
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory
Presenter
- Maria Maria Ines de Frutos Fernandez
February 16, 2023
IPAM