Videos

Start date cannot be after end date.
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS
Workshop on Pseudorandomness in Mathematical Structures Thumbnail

Workshop on Pseudorandomness in Mathematical Structures

Presenter
  • IAS SchoolOfMath
June 14, 2010
IAS
The Stepanov Method Thumbnail

The Stepanov Method

Presenter
  • Avi Wigderson
May 25, 2010
IAS
Mobius Randomness and Dynamics Thumbnail

Mobius Randomness and Dynamics

Presenter
  • Peter Sarnak
April 6, 2010
IAS
Computational Complexity and Information Asymmetry in Financial Products Thumbnail

Computational Complexity and Information Asymmetry in Financial Products

Presenter
  • Boaz Barak
March 2, 2010
IAS
Testing Correlations and Inverse Theorems Thumbnail

Testing Correlations and Inverse Theorems

Presenter
  • Hamed Hatami
February 23, 2010
IAS
Representation Theory and Expansion in Groups Thumbnail

Representation Theory and Expansion in Groups

Presenter
  • Avi Wigderson
January 26, 2010
IAS
An Algorithmic Proof of Forster's Lower Bound Thumbnail

An Algorithmic Proof of Forster's Lower Bound

Presenter
  • Moritz Hardt
December 15, 2009
IAS
Some aspects of discriminantal (co)amoebas Thumbnail

Some aspects of discriminantal (co)amoebas

Presenter
  • Mikael Passare
November 30, 2009
SLMath
Real aspects of tropical geomerty II Thumbnail

Real aspects of tropical geomerty II

Presenter
  • Ilia Itenberg
August 25, 2009
SLMath
Real aspects of tropical geomerty I Thumbnail

Real aspects of tropical geomerty I

Presenter
  • Ilia Itenberg
August 24, 2009
SLMath
Deformation Theory and Moduli in Algebraic Geometry, lecture 29 Thumbnail

Deformation Theory and Moduli in Algebraic Geometry, lecture 29

Presenter
  • Brian Conrad
August 3, 2007
SLMath