Videos

Start date cannot be after end date.
Overview of Univalent Foundations Thumbnail

Overview of Univalent Foundations

Presenter
  • Vladimir Voevodsky
September 27, 2012
IAS
Categorical Langlands Correspondence in Positive Characteristic Thumbnail

Categorical Langlands Correspondence in Positive Characteristic

Presenter
  • Tsao-Hsien Chen
September 25, 2012
IAS
Mechanisms Leveraging Arbitrary Set-Theoretic Belief Hierarchies Thumbnail

Mechanisms Leveraging Arbitrary Set-Theoretic Belief Hierarchies

Presenter
  • Jing Chen
September 25, 2012
IAS
Derived de Rham Cohomology Thumbnail

Derived de Rham Cohomology

Presenter
  • Bhargav Bhatt
September 25, 2012
IAS
Stability and Instability of Extremal Black Holes Thumbnail

Stability and Instability of Extremal Black Holes

Presenter
  • Stefanos Aretakis
September 25, 2012
IAS
Dispersive Estimates for Wave and Schroedinger Equations Thumbnail

Dispersive Estimates for Wave and Schroedinger Equations

Presenter
  • Marius Beceanu
September 25, 2012
IAS
Syntax and Semantics Thumbnail

Syntax and Semantics

Presenter
  • Benedikt Ahrens
September 25, 2012
IAS
Conference on Graphs and Analysis Thumbnail

Conference on Graphs and Analysis

Presenter
  • Organizers: Laszlo
June 4, 2012
IAS
CSDM: Finding Needles in Exponential Haystacks Thumbnail

CSDM: Finding Needles in Exponential Haystacks

Presenter
  • Joel Spencer
February 21, 2012
IAS
Symplectic Dynamics Seminar: How Large is the Shadow of a Symplectic Ball? Thumbnail

Symplectic Dynamics Seminar: How Large is the Shadow of a Symplectic Ball?

Presenter
  • Alberto Abbondandolo
February 8, 2012
IAS
Primes and Equations Thumbnail

Primes and Equations

Presenter
  • Richard Taylor
February 1, 2012
IAS
CSDM: A Survey of Lower Bounds for the Resolution Proof System Thumbnail

CSDM: A Survey of Lower Bounds for the Resolution Proof System

Presenter
  • Avi Wigderson
January 31, 2012
IAS