Videos

Start date cannot be after end date.

Boltzmann Solver with Adaptive Mesh in Phase Space

Presenter
  • Vladimir Kolobov
June 4, 2013
ICERM
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
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