Videos

Start date cannot be after end date.
Lipschitz solutions of MFG master equations Thumbnail

Lipschitz solutions of MFG master equations

Presenter
  • Pierre-Louis Lions
February 20, 2023
IMSI
Well-posedness of Hamilton-Jacobi equations on the Wasserstein space on graphs Thumbnail

Well-posedness of Hamilton-Jacobi equations on the Wasserstein space on graphs

Presenter
  • Wilfrid Gangbo
February 20, 2023
IMSI
Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA Thumbnail

Petra Hozzova - Automation of Induction in Saturation - IPAM at UCLA

Presenter
  • Petra Hozzova
February 17, 2023
IPAM
Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA Thumbnail

Johnathan Hanke - Computer-Assisted Proofs in the Arithmetic of Quadratic Forms - IPAM at UCLA

Presenter
  • Johnathan Hanke
February 17, 2023
IPAM
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA Thumbnail

Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA

Presenter
  • Heather Macbeth
February 17, 2023
IPAM
The Liouville conformal field theory quantum zipper Thumbnail

The Liouville conformal field theory quantum zipper

Presenter
  • Morris Ang
February 17, 2023
IAS
SLE/GFF Coupling, Zipping Up, and Quantum Length Thumbnail

SLE/GFF Coupling, Zipping Up, and Quantum Length

Presenter
  • Greg Lawler
February 17, 2023
IAS
Hypersurface Singularities and Spectral Invariants Thumbnail

Hypersurface Singularities and Spectral Invariants

Presenter
  • Yusuke Kawamoto
February 17, 2023
IAS
Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA Thumbnail

Jason Rute - Deep learning in interactive theorem proving - IPAM at UCLA

Presenter
  • Jason Rute
February 16, 2023
IPAM
Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA Thumbnail

Pascal Fontaine - SMT: quantifiers, and future prospects - IPAM at UCLA

Presenter
  • Pascal Fontaine
February 16, 2023
IPAM
James Davenport - How to prove a calculation correct? - IPAM at UCLA Thumbnail

James Davenport - How to prove a calculation correct? - IPAM at UCLA

Presenter
  • James Davenport
February 16, 2023
IPAM
Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory Thumbnail

Maria Ines de Frutos Fernandez - Formalizing Norm Extensions and Applications to Number Theory

Presenter
  • Maria Maria Ines de Frutos Fernandez
February 16, 2023
IPAM