Videos

Start date cannot be after end date.
Type theory and formalization of mathematics Thumbnail

Type theory and formalization of mathematics

Presenter
  • Anders Mörtberg
September 28, 2015
IAS

A DHS Perspective on Mathematics in Cyber Security

Presenter
  • Ann Cox
October 24, 2014
ICERM
Flow monotonicity and Strichartz inequalities Thumbnail

Flow monotonicity and Strichartz inequalities

Presenter
  • Jonathan Bennett
May 8, 2014
IPAM
The Categorification of Applied Mathematics Thumbnail

The Categorification of Applied Mathematics

Presenter
  • Robert Ghrist
February 13, 2014
IMA
Univalent Foundations of Mathematics Thumbnail

Univalent Foundations of Mathematics

Presenter
  • Vladimir Voevodsky
December 10, 2010
IAS
Connections among the questions Thumbnail

Connections among the questions

Presenter
  • Deborah Ball
May 16, 2008
SLMath
Mathematics of Climate Change Thumbnail

Mathematics of Climate Change

Presenter
  • Inez Fung
January 29, 2008
SLMath