Videos

Start date cannot be after end date.
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
Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications Thumbnail

Counting $GL_2(\mathbb{Z})$ orbits on binary quartic forms and applications

Presenter
  • Arul Shankar
October 3, 2012
IAS
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
October 3, 2012
IAS
Tangential Lipschitz Gain for Holomorphic Functions Thumbnail

Tangential Lipschitz Gain for Holomorphic Functions

Presenter
  • Sivaguru Ravisankar
October 1, 2012
IAS
Lifting Projective Galois Representations Thumbnail

Lifting Projective Galois Representations

Presenter
  • Stefan Patrikis
October 1, 2012
IAS
Sketching and Streaming Algorithms Thumbnail

Sketching and Streaming Algorithms

Presenter
  • Jelani Nelson
October 1, 2012
IAS
Information Theoretic Arguments for Circuit Lower Bounds Thumbnail

Information Theoretic Arguments for Circuit Lower Bounds

Presenter
  • Or Meir
October 1, 2012
IAS
Symplectic Geometry of Smooth Affine Varieties Thumbnail

Symplectic Geometry of Smooth Affine Varieties

Presenter
  • Mark McLean
October 1, 2012
IAS
Higher Inductive Types Thumbnail

Higher Inductive Types

Presenter
  • Peter Lumsdaine
October 1, 2012
IAS