Videos

Start date cannot be after end date.
The Simplicial Model of Univalence Thumbnail

The Simplicial Model of Univalence

Presenter
  • Peter Lumsdaine
December 6, 2012
IAS
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
December 5, 2012
IAS
Delegation for Bounded Space Thumbnail

Delegation for Bounded Space

Presenter
  • Ran Raz
December 4, 2012
IAS
Quantum Mechanics -- a Primer for Mathematicians Thumbnail

Quantum Mechanics -- a Primer for Mathematicians

Presenter
  • Juerg Frohlich
December 3, 2012
IAS
Information Complexity and Exact Communication Bounds Thumbnail

Information Complexity and Exact Communication Bounds

Presenter
  • Mark Braverman
December 3, 2012
IAS
Magnetic Vortices, Nielsen-Olesen-Nambu Strings and Theta Functions Thumbnail

Magnetic Vortices, Nielsen-Olesen-Nambu Strings and Theta Functions

Presenter
  • Israel M.
November 30, 2012
IAS
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