Videos

Start date cannot be after end date.
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory Thumbnail

Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory

Presenter
  • Peter Dybjer
November 30, 2012
IAS
Sato-Tate Distributions in Genus 2 Thumbnail

Sato-Tate Distributions in Genus 2

Presenter
  • Andrew Sutherland
November 29, 2012
IAS
The Simplicial Model of Univalence Thumbnail

The Simplicial Model of Univalence

Presenter
  • Chris Kapulkin
November 29, 2012
IAS
p-Adic Hodge Theory Thumbnail

p-Adic Hodge Theory

Presenter
  • Alexander Beilinson
November 28, 2012
IAS
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