Videos

Start date cannot be after end date.
John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective Thumbnail

John Harrison - Formalization and Automated Reasoning: A Personal and Historical Perspective

Presenter
  • John Harrison
February 13, 2023
IPAM
Geordie Williamson - What can the working mathematician expect from deep learning? - IPAM at UCLA Thumbnail

Geordie Williamson - What can the working mathematician expect from deep learning? - IPAM at UCLA

Presenter
  • Geordie Williamson
February 13, 2023
IPAM
Integrality of the Betti Moduli Space Thumbnail

Integrality of the Betti Moduli Space

Presenter
  • Johan Jong
February 13, 2023
IAS
Floer Theories and Reeb Dynamics for Contact Manifolds Thumbnail

Floer Theories and Reeb Dynamics for Contact Manifolds

Presenter
  • Jo Nelson
February 13, 2023
IAS
Efficient Verification of Computation on Untrusted Platforms Thumbnail

Efficient Verification of Computation on Untrusted Platforms

Presenter
  • Yael Kalai
February 13, 2023
IAS
Non-standard Contact Structures on Spheres and Applications Thumbnail

Non-standard Contact Structures on Spheres and Applications

Presenter
  • Agustin Moreno
February 13, 2023
IAS
Diophantine Geometry Introductory Workshop: Polynomials with Squarefree Discriminant Thumbnail

Diophantine Geometry Introductory Workshop: Polynomials with Squarefree Discriminant

Presenter
  • Arul Shankar
February 10, 2023
SLMath
Diophantine Geometry Introductory Workshop: Unlikely Intersections and Applications to Diophantine Problems Thumbnail

Diophantine Geometry Introductory Workshop: Unlikely Intersections and Applications to Diophantine Problems

Presenter
  • Laura Capuano
February 10, 2023
SLMath
Diophantine Geometry Introductory Workshop: "Formal-Analytic Arithmetic Surfaces: Finiteness Theorems, and Applications to Arithmetic Fundamental Groups" Thumbnail

Diophantine Geometry Introductory Workshop: "Formal-Analytic Arithmetic Surfaces: Finiteness Theorems, and Applications to Arithmetic Fundamental Groups"

Presenter
  • François Charles
February 10, 2023
SLMath
Diophantine Geometry Introductory Workshop: "Formal-Analytic Surfaces: Nori’s Bound in Arakelov Geometry and Archimedean Overflow" Thumbnail

Diophantine Geometry Introductory Workshop: "Formal-Analytic Surfaces: Nori’s Bound in Arakelov Geometry and Archimedean Overflow"

Presenter
  • Jean-Benoit Bost
February 10, 2023
SLMath
On Crossing Probabilities in Critical Random-Cluster Models Thumbnail

On Crossing Probabilities in Critical Random-Cluster Models

Presenter
  • Eveliina Peltola
February 10, 2023
IAS
Lagrangian Hofer Metric and Barcodes Thumbnail

Lagrangian Hofer Metric and Barcodes

Presenter
  • Patricia Dietzsch
February 10, 2023
IAS