Videos

Start date cannot be after end date.

Logic

Presenter
  • Jeremy Avigad
July 12, 2022
ICERM

Organizer Welcome / Introduction to Lean

Presenter
  • Jeremy Avigad
July 11, 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

Optimizing Point Set Configurations in Graphs

Presenter
  • Jeremy Marzuola
December 13, 2016
IMA
Gross-Pitaevskii Vortex Motion with Critically-scaled Inhomogeneities Thumbnail

Gross-Pitaevskii Vortex Motion with Critically-scaled Inhomogeneities

Presenter
  • Jeremy Marzuola
November 3, 2016
IMA

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
The Kardar-Parisi-Zhang equation and universality class Thumbnail

The Kardar-Parisi-Zhang equation and universality class

Presenter
  • Jeremy Quastel
October 21, 2015
SLMath

A multistate model for time to cancer recurrence and death incorporating a cured fraction

Presenter
  • Jeremy Taylor
January 26, 2015
MBI