Videos

Start date cannot be after end date.
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
Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA Thumbnail

Bohua Zhan - Verifying symbolic computation in the HolPy theorem prover - IPAM at UCLA

Presenter
  • Bohua Zhan
February 16, 2023
IPAM
An Euler System for the Symmetric Square of a Modular Form Thumbnail

An Euler System for the Symmetric Square of a Modular Form

Presenter
  • Chris Skinner
February 16, 2023
IAS
Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq Thumbnail

Micaela Mayero - Overview of real numbers in theorem provers: application with real analysis in Coq

Presenter
  • Micaela Mayero
February 15, 2023
IPAM
Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA Thumbnail

Patrick Massot - Formal mathematics for mathematicians and mathematics students - IPAM at UCLA

Presenter
  • Patrick Massot
February 15, 2023
IPAM
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA Thumbnail

Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA

Presenter
  • Tony Wu
February 15, 2023
IPAM