Start date cannot be after end date.
Connections Workshop: Floer Homotopy Theory: "Equivariant Factorization Homology and Tools for Studying It"
Presenter
- Inbar Klang
September 9, 2022
SLMath
Formalization Of Mathematics Summer School: Formalizing Blockchain Computations
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: What Meta-Programming Means and Looks Like
Presenter
- Jeremy Avigad
June 7, 2023
SLMath
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL)
Presenter
- Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Lecture and Discussion
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Algebraic singular fibers from the symplectic perspective
Presenter
- Jeremy Van Horn-Morris
April 25, 2022
ICERM