Videos

Start date cannot be after end date.
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
Analytic Geometry Over F_1 Thumbnail

Analytic Geometry Over F_1

Presenter
  • Vladimir Berkovich
March 10, 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
Continued Fractions of Quadratic Irrationals Thumbnail

Continued Fractions of Quadratic Irrationals

Presenter
  • Vladimir Arnold
May 3, 2007
SLMath