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
Greedy approximation in compressed sensing Thumbnail

Greedy approximation in compressed sensing

Presenter
  • Vladimir Temlyakov
September 29, 2011
IMA
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
Integrals quadratic in velocities and solution of two problems of Sophus Lie Thumbnail

Integrals quadratic in velocities and solution of two problems of Sophus Lie

Presenter
  • Vladimir Matveev
May 9, 2008
SLMath
Continued Fractions of Quadratic Irrationals Thumbnail

Continued Fractions of Quadratic Irrationals

Presenter
  • Vladimir Arnold
May 3, 2007
SLMath