Start date cannot be after end date.
Formalization Of Mathematics Summer School: Polynomials and Algebraic Number Theory
Presenter
- Thomas Browning
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: Formalizing Blockchain Computations
Presenter
- Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: Integration and Complex Analysis
Presenter
- Heather Macbeth
June 16, 2023
SLMath
Formalization Of Mathematics Summer School: Formalizing Sphere Eversion
Presenter
- Patrick Massot
June 16, 2023
SLMath
Connections Workshop: Mathematics and Computer Science of Market and Mechanism Design: "A Constant Approximation for Private Interdependent Valuations"
Presenter
- Kira Goldner
September 7, 2023
SLMath
Connections Workshop: Mathematics and Computer Science of Market and Mechanism Design: "Buy-Many Mechanisms: A New Perspective on Revenue-Optimal Mechanism Design"
Presenter
- Shuchi Chawla
September 7, 2023
SLMath
Connections Workshop: Mathematics and Computer Science of Market and Mechanism Design: "How Competition Shapes Information in Auctions"
Presenter
- Agathe Pernoud
September 7, 2023
SLMath
Connections Workshop: Mathematics and Computer Science of Market and Mechanism Design: "Fraud-Proof Non-Market Allocation Mechanisms"
Presenter
- Vasiliki Skreta
September 8, 2023
SLMath
Introductory Workshop: Mathematics and Computer Science of Market and Mechanism Design: "Mathematics and Computer Science of Market and Mechanism Design"
Presenter
- Alvin Roth
September 11, 2023
SLMath
Introductory Workshop: Mathematics and Computer Science of Market and Mechanism Design: "Learning Outcomes in Repeated Games"
Presenter
- Eva Tardos
September 11, 2023
SLMath
Introductory Workshop: Mathematics and Computer Science of Market and Mechanism Design: "Algorithmic Contract Design and Ambiguous Contracts"
Presenter
- Michal Feldman
September 12, 2023
SLMath