Start date cannot be after end date.
Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: MESSI Systems
Presenter
- Alicia Dickenstein
June 19, 2023
SLMath
Species and Dimension Formulas for Period Spaces
Presenter
- Annette Huber-Klawitter
June 19, 2023
IAS
Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: Linear Networks. Complex Balanced Steady States.
Presenter
- Alicia Dickenstein
June 16, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Sphere Eversion
Presenter
- Patrick Massot
June 16, 2023
SLMath
Methods For Biochemical Reaction Networks (Leipzig, Germany) Summer School: "Parameter Regions for Multistationarity: Adhoc Approaches and Automated Approaches"
Presenter
- Elisenda Feliu
June 16, 2023
SLMath
Formalization Of Mathematics Summer School: Integration and Complex Analysis
Presenter
- Heather Macbeth
June 16, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Blockchain Computations
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Astrocytes in the Brain: a range of spatial and temporal scales
Presenter
- Alla Borisyuk
June 15, 2023
ICERM
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath