Videos

Start date cannot be after end date.
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

Organizer Welcome / Introduction to Lean

Presenter
  • Jeremy Avigad
July 11, 2022
ICERM

Algebraic singular fibers from the symplectic perspective

Presenter
  • Jeremy Van Horn-Morris
April 25, 2022
ICERM
Towards KPZ universality Thumbnail

Towards KPZ universality

Presenter
  • Jeremy Quastel
August 27, 2021
SLMath
Integrable fluctuations in 1+1 dimensional random growth Thumbnail

Integrable fluctuations in 1+1 dimensional random growth

Presenter
  • Jeremy Quastel
May 19, 2020
IPAM
Hot Topics: Shape and Structure Of Materials - Predictive simulations of grain structure evolution Thumbnail

Hot Topics: Shape and Structure Of Materials - Predictive simulations of grain structure evolution

Presenter
  • Jeremy Mason
October 5, 2018
SLMath

Neural net word embeddings: What was old is new again

Presenter
  • Jeremy Bellay
October 6, 2017
IMA
Stein fillings of cotangent bundles of surfaces Thumbnail

Stein fillings of cotangent bundles of surfaces

Presenter
  • Jeremy van
April 7, 2016
IAS

Interactive theorem proving, automated reasoning, and dynamical systems

Presenter
  • Jeremy Avigad
April 5, 2016
ICERM
Geometric deformations of orthogonal and symplectic Galois representations Thumbnail

Geometric deformations of orthogonal and symplectic Galois representations

Presenter
  • Jeremy Booher
November 19, 2015
IAS