Videos

Start date cannot be after end date.
Type Systems and Proof Assistant Thumbnail

Type Systems and Proof Assistant

Presenter
  • Vladimir Voevodsky
October 10, 2012
IAS
Hole Probability for Entire Functions Represented by Gaussian Taylor Series Thumbnail

Hole Probability for Entire Functions Represented by Gaussian Taylor Series

Presenter
  • Alon Nishry
October 9, 2012
IAS
On the Conjectures of Nonnegative $k$-Sum and Hypergraph Matching Thumbnail

On the Conjectures of Nonnegative $k$-Sum and Hypergraph Matching

Presenter
  • Hao Huang
October 9, 2012
IAS
Parallel Repetition of Two Prover Games: A Survey Thumbnail

Parallel Repetition of Two Prover Games: A Survey

Presenter
  • Ran Raz
October 8, 2012
IAS
Identity Testing of Tensors, Low Rank Recovery and Compressed Sensing Thumbnail

Identity Testing of Tensors, Low Rank Recovery and Compressed Sensing

Presenter
  • Amir Shpilka
October 8, 2012
IAS
The Inverse Galois Problem for $PSL_2(F_p)$ Thumbnail

The Inverse Galois Problem for $PSL_2(F_p)$

Presenter
  • David Zywina
October 4, 2012
IAS
Hope for a Type-Theoretic Understanding of Zero-Knowledge Thumbnail

Hope for a Type-Theoretic Understanding of Zero-Knowledge

Presenter
  • Noam Zeilberger
October 4, 2012
IAS
Iwasawa Theory for Unitary Groups Thumbnail

Iwasawa Theory for Unitary Groups

Presenter
  • Xin Wan
October 4, 2012
IAS
Type Classes for Mathematical Formalizations in Coq Thumbnail

Type Classes for Mathematical Formalizations in Coq

Presenter
  • Matthieu Sozeau
October 3, 2012
IAS
Inernal Languages for Higher Toposes Thumbnail

Inernal Languages for Higher Toposes

Presenter
  • Michael Shulman
October 3, 2012
IAS
The Relative Fukaya Category, Symplectic and Quantum Cohomology Thumbnail

The Relative Fukaya Category, Symplectic and Quantum Cohomology

Presenter
  • Nicolas Sheridan
October 3, 2012
IAS
Random Band Matrices: Local Regime Thumbnail

Random Band Matrices: Local Regime

Presenter
  • Tetiana Shcherbyna
October 3, 2012
IAS