Videos

Start date cannot be after end date.
The Strauss Conjecture on Black Holes Thumbnail

The Strauss Conjecture on Black Holes

Presenter
  • Mihai Tohaneanu
October 23, 2012
IAS
Algebraic K-Theory Via Binary Complexes Thumbnail

Algebraic K-Theory Via Binary Complexes

Presenter
  • Daniel Grayson
October 22, 2012
IAS
Uniqueness and Nondegeneracy of Ground States for Non-Local Equations Thumbnail

Uniqueness and Nondegeneracy of Ground States for Non-Local Equations

Presenter
  • Rupert Frank
October 19, 2012
IAS
Uniqueness and Nondegeneracy of Ground States for Non-Local Equations Thumbnail

Uniqueness and Nondegeneracy of Ground States for Non-Local Equations

Presenter
  • Rupert Frank
October 19, 2012
IAS
On the Parity of Coefficients of Modular Forms Thumbnail

On the Parity of Coefficients of Modular Forms

Presenter
  • Joel Bellaiche
October 18, 2012
IAS
On the Setoid Model of Type Theory Thumbnail

On the Setoid Model of Type Theory

Presenter
  • Erik Palmgren
October 18, 2012
IAS
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