Videos

Start date cannot be after end date.

Algebraic singular fibers from the symplectic perspective

Presenter
  • Jeremy Van Horn-Morris
April 25, 2022
ICERM
Stein fillings of cotangent bundles of surfaces Thumbnail

Stein fillings of cotangent bundles of surfaces

Presenter
  • Jeremy van
April 7, 2016
IAS
A Heegaard Floer analog of algebraic torsion Thumbnail

A Heegaard Floer analog of algebraic torsion

Presenter
  • Cagatay Kutluhan
April 21, 2016
IAS
A Heegaard Floer analog of algebraic torsion Thumbnail

A Heegaard Floer analog of algebraic torsion

April 21, 2016
IAS
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