Start date cannot be after end date.
Machine Learning Summer School: Geometrical and Topological Data Analysis
Presenters
- Ery Arias-Castro
- Yusu Wang
June 29, 2023
SLMath
Machine Learning Summer School: Theoretical and Methodological Aspects of Deep Learning
Presenters
- Mikhail Belkin
- Lily Weng
June 27, 2023
SLMath
Machine Learning Summer School: Geometrical and Topological Data Analysis
Presenters
- Ery Arias-Castro
- Yusu Wang
June 27, 2023
SLMath
Machine Learning Summer School: Geometrical and Topological Data Analysis
Presenters
- Ery Arias-Castro
- Yusu Wang
June 26, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Sphere Eversion
Presenter
- Patrick Massot
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
Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Polynomials and Algebraic Number Theory
Presenter
- Thomas Browning
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Galois Theory
Presenter
- Thomas Browning
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Finiteness and Graph Theory
Presenter
- Kyle Miller
June 14, 2023
SLMath