Videos

Start date cannot be after end date.

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
Column and Row Subset Selection using Nuclear Scores Thumbnail

Column and Row Subset Selection using Nuclear Scores

Presenter
  • Michael Lindsey
April 2, 2025
IMSI

Combinatorial resultants - in Graphical, Linear and Algebraic Rigidity Matroids

Presenter
  • Ileana Streinu
March 21, 2025
ICERM

Higher Order Rigidity and Higher Order Derivative Tests

Presenter
  • Steven Gortler
March 17, 2025
ICERM
Hot Topics: Interactions between Harmonic Analysis, Homogeneous Dynamics, and Number Theory: Exponential Mixing Via Additive Combinatorics Thumbnail

Hot Topics: Interactions between Harmonic Analysis, Homogeneous Dynamics, and Number Theory: Exponential Mixing Via Additive Combinatorics

Presenter
  • Osama Khalil
March 4, 2025
SLMath
Approximating Hyperbolic Lattices by Cubulations Thumbnail

Approximating Hyperbolic Lattices by Cubulations

Presenter
  • Eduardo Reyes
March 4, 2025
IAS
Hot Topics: Interactions between Harmonic Analysis, Homogeneous Dynamics, and Number Theory: Effective equidistribution of semisimple adelic periods and representations of quadratic forms Thumbnail

Hot Topics: Interactions between Harmonic Analysis, Homogeneous Dynamics, and Number Theory: Effective equidistribution of semisimple adelic periods and representations of quadratic forms

Presenter
  • Andreas Wieser
March 3, 2025
SLMath
Introductory Workshop - Graph Theory: Extremal, Probabilistic and Structural: Long rainbow paths in graphs and digraphs Thumbnail

Introductory Workshop - Graph Theory: Extremal, Probabilistic and Structural: Long rainbow paths in graphs and digraphs

Presenter
  • Liana Yepremyan
February 14, 2025
SLMath
Introductory Workshop - Graph Theory: Extremal, Probabilistic and Structural: Probabilistic combinatorics and random graphs Thumbnail

Introductory Workshop - Graph Theory: Extremal, Probabilistic and Structural: Probabilistic combinatorics and random graphs

Presenter
  • Will Perkins
February 11, 2025
SLMath

Optimal disc and sphere packings

Presenter
  • Daria Pchelina
February 10, 2025
ICERM
Introductory Workshop: Probability and Statistics of Discrete Structures: Asymptotic enumeration of discrete structures: what, how and why Thumbnail

Introductory Workshop: Probability and Statistics of Discrete Structures: Asymptotic enumeration of discrete structures: what, how and why

Presenter
  • Catherine Greenhill
January 30, 2025
SLMath
Jonathan Aurnou - An Overview of the Overviews - IPAM at UCLA Thumbnail

Jonathan Aurnou - An Overview of the Overviews - IPAM at UCLA

Presenter
  • Jonathan Aurnou
January 27, 2025
IPAM