Videos

Start date cannot be after end date.
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
Computing with Univalence Thumbnail

Computing with Univalence

Presenter
  • Daniel Licata
September 28, 2012
IAS
Topological Dagta Analysis and Persistent Homology Thumbnail

Topological Dagta Analysis and Persistent Homology

Presenter
  • Michael Lesnick
September 28, 2012
IAS
Counting Rational Points on Cubic Surfaces Thumbnail

Counting Rational Points on Cubic Surfaces

Presenter
  • Pierre Le
September 28, 2012
IAS
Graph Coloring, Biclique Partition, and Communication Complexity Thumbnail

Graph Coloring, Biclique Partition, and Communication Complexity

Presenter
  • Hao Huang
September 28, 2012
IAS