Start date cannot be after end date.
Formalization Of Mathematics Summer School: Integration and Complex Analysis
Presenter
- Heather Macbeth
June 16, 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: Finiteness and Graph Theory
Presenter
- Kyle Miller
June 14, 2023
SLMath
Formalization Of Mathematics Summer School: Commutative Algebra and Linear Algebra
Presenter
- Patrick Massot
June 12, 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: Lecture and Discussion
Presenter
- Jeremy Avigad
June 5, 2023
SLMath
Arithmetic and the representation theory of fundamental groups
Presenter
- Daniel Litt
February 21, 2019
IPAM
Using mathematics to understand, treat and avoid hematological disease
Presenter
- Michael Mackey
February 20, 2019
MBI