Videos

Start date cannot be after end date.

Beyond Algebraic Models of Stringy Spacetime

Presenter
  • Tristan Hubsch
October 1, 2026
ICERM

Samuel Pollard - Formal Verification of High Consequence Systems

September 17, 2026
IPAM
New Approach to Matrix Perturbation: Beyond the Worst-Case Analysis Thumbnail

New Approach to Matrix Perturbation: Beyond the Worst-Case Analysis

Presenter
  • Van Vu
November 3, 2025
IAS

Verified Mathematical Reasoning with Lean and Language Models

Presenter
  • Robert Joseph George
April 26, 2025
ICERM
When Bayesian Orthodoxy Can Go Wrong: Model Selection and Out-of-Distribution Generalization Thumbnail

When Bayesian Orthodoxy Can Go Wrong: Model Selection and Out-of-Distribution Generalization

Presenter
  • Andrew Wilson
March 6, 2025
IMSI
Deligne-Lusztig theory: examples and applications IV Thumbnail

Deligne-Lusztig theory: examples and applications IV

Presenter
  • Charlotte Chan
May 24, 2024
IAS
Deligne-Lusztig theory: examples and applications III Thumbnail

Deligne-Lusztig theory: examples and applications III

Presenter
  • Charlotte Chan
May 23, 2024
IAS
Deligne-Lusztig theory: examples and applications II Thumbnail

Deligne-Lusztig theory: examples and applications II

Presenter
  • Charlotte Chan
May 21, 2024
IAS
Deligne-Lusztig theory: examples and applications Thumbnail

Deligne-Lusztig theory: examples and applications

Presenter
  • Charlotte Chan
May 20, 2024
IAS

Weighted maximal estimates - some recent progress

Presenter
  • Adam OsÄ™kowski
December 1, 2022
ICERM
Parallel Repetition for the GHZ Game: A Simpler Proof Thumbnail

Parallel Repetition for the GHZ Game: A Simpler Proof

Presenter
  • Uma Girish
November 1, 2021
IAS
A new approach to the sensitivity conjecture Thumbnail

A new approach to the sensitivity conjecture

Presenter
  • Michael Saks
April 13, 2015
IAS