Videos

Start date cannot be after end date.
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
November 28, 2012
IAS
Computational Complexity in Mechanism Design Thumbnail

Computational Complexity in Mechanism Design

Presenter
  • Jing Chen
November 27, 2012
IAS
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress Thumbnail

Polynomial Identity Testing of Read-Once Oblivious Algebraic Branching Progress

Presenter
  • Michael Forbes
November 26, 2012
IAS
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
November 21, 2012
IAS
On the Complexity of Matrix Multiplication and Other Tensors Thumbnail

On the Complexity of Matrix Multiplication and Other Tensors

Presenter
  • Joseph Landsberg
November 20, 2012
IAS
A Complete Dichotomy Rises from the Capture of Vanishing Signatures Thumbnail

A Complete Dichotomy Rises from the Capture of Vanishing Signatures

Presenter
  • Jin-Yi Cai
November 19, 2012
IAS
Abstract Analogues of Flux as Symplectic Invariants Thumbnail

Abstract Analogues of Flux as Symplectic Invariants

Presenter
  • Paul Seidel
November 16, 2012
IAS
Galois Representations for Regular Algebraic Cuspidal Automorphic Forms Thumbnail

Galois Representations for Regular Algebraic Cuspidal Automorphic Forms

Presenter
  • Richard Taylor
November 15, 2012
IAS
The Simplicial Model of UA Thumbnail

The Simplicial Model of UA

Presenter
  • Chris Kapulkin
November 15, 2012
IAS
Toward Higher Inductive Types Thumbnail

Toward Higher Inductive Types

Presenter
  • Michael Shulman
November 14, 2012
IAS
A Non-Commutative Analog of the 2-Wasserstein Metric for which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy Thumbnail

A Non-Commutative Analog of the 2-Wasserstein Metric for which the Fermionic Fokker-Planck Equation is Gradient Flow for the Entropy

Presenter
  • Eric Carlen
November 13, 2012
IAS