Videos

Start date cannot be after end date.
Toward a Computational Interpretation of Univalence Thumbnail

Toward a Computational Interpretation of Univalence

Presenter
  • Daniel Licata
October 18, 2012
IAS
On the AND- and OR-Conjectures: Limits to Efficient Preprocessing Thumbnail

On the AND- and OR-Conjectures: Limits to Efficient Preprocessing

Presenter
  • Andrew Drucker
October 16, 2012
IAS
How to Find Periodic Orbits and Exotic Symplectic Manifolds Thumbnail

How to Find Periodic Orbits and Exotic Symplectic Manifolds

Presenter
  • Mark McLean
October 15, 2012
IAS
A Multi-Prover Interactive proof for NEXP Sound Against Entangled Provers Thumbnail

A Multi-Prover Interactive proof for NEXP Sound Against Entangled Provers

Presenter
  • Tsuyoshi Ito
October 15, 2012
IAS
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