Videos

Start date cannot be after end date.
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
December 5, 2012
IAS
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
November 28, 2012
IAS
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
November 21, 2012
IAS
Type Systems and Proof Assistant Thumbnail

Type Systems and Proof Assistant

Presenter
  • Vladimir Voevodsky
October 10, 2012
IAS
Type Systems Thumbnail

Type Systems

Presenter
  • Vladimir Voevodsky
October 3, 2012
IAS
Overview of Univalent Foundations Thumbnail

Overview of Univalent Foundations

Presenter
  • Vladimir Voevodsky
September 27, 2012
IAS
Computer Science and Homotopy Theory Thumbnail

Computer Science and Homotopy Theory

Presenter
  • Vladimir Voevodsky
April 27, 2011
IAS
Univalent Foundations of Mathematics Thumbnail

Univalent Foundations of Mathematics

Presenter
  • Vladimir Voevodsky
December 10, 2010
IAS
What if Current Foundations of Mathematics are Inconsistent? Thumbnail

What if Current Foundations of Mathematics are Inconsistent?

Presenter
  • Vladimir Voevodsky,
September 25, 2010
IAS
The mathematical work of Vladimir Voevodsky Thumbnail

The mathematical work of Vladimir Voevodsky

Presenter
  • Dan Grayson
September 11, 2018
IAS
A search for an algebraic equivalence analogue of motivic theories Thumbnail

A search for an algebraic equivalence analogue of motivic theories

Presenter
  • Eric Friedlander
September 13, 2018
IAS
Isotropic motivic category Thumbnail

Isotropic motivic category

Presenter
  • Alexander Vishik
September 12, 2018
IAS