Start date cannot be after end date.
Algebraic Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: "Polynomials in Several Variables: Algebra, Geometry, Effective Computations"
Presenter
- Timo de Wolff
June 13, 2023
SLMath
Formalization Of Mathematics Summer School: Hierarchies (Chapter 7 of MIL) Continued, and Differential Calculus (Chapter 9 of MIL)
Presenter
- Patrick Massot
June 13, 2023
SLMath
Algebraic Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: "Reaction Networks: Definition, ODE, Mass-Action Kinetics"
Presenter
- Alicia Dickenstein
June 12, 2023
SLMath
Formalization Of Mathematics Summer School: Commutative Algebra and Linear Algebra
Presenter
- Patrick Massot
June 12, 2023
SLMath
Formalization Of Mathematics Summer School: Topology (Chapter 7 of MIL)
Presenter
- Patrick Massot
June 9, 2023
SLMath
Formalization Of Mathematics Summer School: Forgetful Inheritance, Hom-Like and Set-Like
Presenter
- Kyle Miller
June 8, 2023
SLMath
Formalization Of Mathematics Summer School: Algebraic Structures (Chapter 6 of MIL)
Presenter
- Thomas Browning
June 8, 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: Number Theory (Chapter 5 of MIL)
Presenter
- Heather Macbeth
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