Videos

Start date cannot be after end date.

Algebraic singular fibers from the symplectic perspective

Presenter
  • Jeremy Van Horn-Morris
April 25, 2022
ICERM
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
Stein fillings of cotangent bundles of surfaces Thumbnail

Stein fillings of cotangent bundles of surfaces

Presenter
  • Jeremy van
April 7, 2016
IAS

Accelerating Everything

Presenter
  • Jeremy Kepner
June 30, 2026
ICERM

Hot Topics: Geometric Langlands Conjecture: Whittaker

Presenter
  • Jeremy Taylor
April 7, 2026
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