Videos

Start date cannot be after end date.
Sum-of-Squares Proofs, Efficient Algorithms, and Applications Thumbnail

Sum-of-Squares Proofs, Efficient Algorithms, and Applications

Presenter
  • Pravesh Kothari
March 18, 2024
IAS
The Shape Invariant for Toric Domains Thumbnail

The Shape Invariant for Toric Domains

Presenter
  • Richard Hind
March 18, 2024
IAS
Computationally Sound Proofs of Network Properties Thumbnail

Computationally Sound Proofs of Network Properties

Presenter
  • Rotem Oshman
March 18, 2024
IAS
Multiplicative Polynomial Laws and Commutative Group Schemes Thumbnail

Multiplicative Polynomial Laws and Commutative Group Schemes

Presenter
  • Akhil Mathew
March 15, 2024
IAS
Quantitative Floer Theory and Coefficients Thumbnail

Quantitative Floer Theory and Coefficients

Presenter
  • Yusuke Kawamoto
March 15, 2024
IAS
Categorification and Geometry Thumbnail

Categorification and Geometry

Presenter
  • Lars Hesselholt
March 15, 2024
IAS
The Analytic Topology Suffices for the B_dR^+-Grassmannian Thumbnail

The Analytic Topology Suffices for the B_dR^+-Grassmannian

Presenter
  • Kestutis Cesnavicius
March 14, 2024
IAS
Duality Theorems for p-adic Pro-Étale Cohomology of Stein Spaces Thumbnail

Duality Theorems for p-adic Pro-Étale Cohomology of Stein Spaces

Presenter
  • Wieslawa Niziol
March 14, 2024
IAS
A Kirillov Model for Completed Cohomology Thumbnail

A Kirillov Model for Completed Cohomology

Presenter
  • Pierre Colmez
March 13, 2024
IAS
Analytic Prismatization Thumbnail

Analytic Prismatization

Presenter
  • Peter Scholze
March 13, 2024
IAS
p-adic Analytic Geometry and Chromatic Homotopy Theory Thumbnail

p-adic Analytic Geometry and Chromatic Homotopy Theory

Presenter
  • Tomer Schlank
March 12, 2024
IAS