Videos

Start date cannot be after end date.
New Tools for Graph Coloring Thumbnail

New Tools for Graph Coloring

Presenter
  • Rong Ge
April 19, 2011
IAS
Erdos Distinct Distance Problem in the Plane Thumbnail

Erdos Distinct Distance Problem in the Plane

Presenter
  • Larry Guth
December 14, 2010
IAS
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS
Self-Correction, Distance Estimation and Local Testing of Codes Thumbnail

Self-Correction, Distance Estimation and Local Testing of Codes

Presenter
  • Dana Moshkovitz
November 29, 2010
IAS
Measures of risk in stochastic optimization Thumbnail

Measures of risk in stochastic optimization

Presenter
  • R. Rockafellar
October 21, 2010
IMA
Invariance Principles in Theoretical Computer Science Thumbnail

Invariance Principles in Theoretical Computer Science

Presenter
  • IAS SchoolOfMath
September 21, 2010
IAS
A Completeness Theorem for Pseudo-Linear Functions with Applications to UC Security Thumbnail

A Completeness Theorem for Pseudo-Linear Functions with Applications to UC Security

Presenter
  • Charanjit Jutla
February 28, 2010
IAS
CSDM - Affine Dispersers from Subspace Polynomials Thumbnail

CSDM - Affine Dispersers from Subspace Polynomials

Presenter
  • Swastik Kopparty
September 15, 2009
IAS
The "P vs. NP" Problem: Efficient Computation, Internet Security, and the Limits of Human Knowledge Thumbnail

The "P vs. NP" Problem: Efficient Computation, Internet Security, and the Limits of Human Knowledge

Presenter
  • Avi Wigderson
October 24, 2008
IAS
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

Origami Tessellations as Mathematical Demonstrations

Presenter
  • Kelli Anderson
August 13, 2025
ICERM

Visualizing genus zero dessins

Presenter
  • Michael Musty
August 12, 2025
ICERM