Videos

Start date cannot be after end date.
Colouring Tournaments Thumbnail

Colouring Tournaments

Presenter
  • Paul Seymour
December 13, 2010
IAS
Understanding Area Preserving Disk Maps Through Holomorphic Curves Thumbnail

Understanding Area Preserving Disk Maps Through Holomorphic Curves

Presenter
  • Barney Bramham
December 10, 2010
IAS
Univalent Foundations of Mathematics Thumbnail

Univalent Foundations of Mathematics

Presenter
  • Vladimir Voevodsky
December 10, 2010
IAS
On Families of Filtered phi Modules and Crystalline Representations Thumbnail

On Families of Filtered phi Modules and Crystalline Representations

Presenter
  • Eugen Hellmann
December 8, 2010
IAS
Entropy, Algebraic Integers and Moduli of Surfaces Thumbnail

Entropy, Algebraic Integers and Moduli of Surfaces

Presenter
  • Curtis McMullen
December 7, 2010
IAS
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS
Shimura Varieties and the Bernstein Center Thumbnail

Shimura Varieties and the Bernstein Center

Presenter
  • Tom Haines
December 6, 2010
IAS
Nonlinear Dvoretzky Theory Thumbnail

Nonlinear Dvoretzky Theory

Presenter
  • Assaf Naor
December 6, 2010
IAS