Videos

Start date cannot be after end date.
Geometric Limits and Renormalization Thumbnail

Geometric Limits and Renormalization

Presenter
  • Jeremy Kahn
April 10, 2013
IPAM

Geometric Limits and Renormalization

Presenter
  • Jeremy Kahn
February 13, 2012
ICERM
MLC Along the Real Line Thumbnail

MLC Along the Real Line

Presenter
  • Dzmitry Dudko
May 3, 2022
SLMath
Exotic Spheres from p-adic Cohomology Theories Thumbnail

Exotic Spheres from p-adic Cohomology Theories

Presenter
  • Jeremy Hahn
November 17, 2023
IAS
Formalization Of Mathematics Summer School: Formalizing Blockchain Computations Thumbnail

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 Thumbnail

Formalization Of Mathematics Summer School: The Lean Simplifier and Other Automation

Presenter
  • Jeremy Avigad
June 15, 2023
SLMath
Formalization Of Mathematics Summer School: What Meta-Programming Means and Looks Like Thumbnail

Formalization Of Mathematics Summer School: What Meta-Programming Means and Looks Like

Presenter
  • Jeremy Avigad
June 7, 2023
SLMath
Formalization Of Mathematics Summer School: Sets and Functions (Chapter 4 of MIL) Thumbnail

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) Thumbnail

Formalization Of Mathematics Summer School: Logic (Chapter 3 of MIL)

Presenter
  • Jeremy Avigad
June 6, 2023
SLMath
Formalization Of Mathematics Summer School: Lecture and Discussion Thumbnail

Formalization Of Mathematics Summer School: Lecture and Discussion

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath
Formalization Of Mathematics Summer School: Installing Lean Thumbnail

Formalization Of Mathematics Summer School: Installing Lean

Presenter
  • Jeremy Avigad
June 5, 2023
SLMath

Logic

Presenter
  • Jeremy Avigad
July 12, 2022
ICERM