Videos

Start date cannot be after end date.
Introduction to Numerical Relativity (Part 2/2) Thumbnail

Introduction to Numerical Relativity (Part 2/2)

Presenter
  • Helvi Witek
September 14, 2021
IPAM
Introduction to Numerical Relativity (Part 1/2) Thumbnail

Introduction to Numerical Relativity (Part 1/2)

Presenter
  • Helvi Witek
September 14, 2021
IPAM
A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers Thumbnail

A Computer-Checked Proof that the Fundamental Group of the Circle is the Integers

Presenter
  • Daniel Licata
November 26, 2012
IAS
Univalent foundations and the equivalence principle Thumbnail

Univalent foundations and the equivalence principle

Presenter
  • Benedikt Ahrens
September 12, 2018
IAS
The mathematical work of Vladimir Voevodsky Thumbnail

The mathematical work of Vladimir Voevodsky

Presenter
  • Dan Grayson
September 11, 2018
IAS
Foundations of (∞, 2) -category theory Thumbnail

Foundations of (∞, 2) -category theory

Presenter
  • Emily Riehl
November 30, 2017
SLMath
Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 2 Thumbnail

Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 2

Presenter
  • Tony Lelièvre
September 13, 2017
IPAM
Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 1 Thumbnail

Sampling efficiently metastable dynamics: algorithms and mathematical analysis - Part 1

Presenter
  • Tony Lelièvre
September 12, 2017
IPAM
Connections Workshop: Noncommutative Algebraic Geometry: "Do we want a new foundation for ‘higher structures’" Thumbnail

Connections Workshop: Noncommutative Algebraic Geometry: "Do we want a new foundation for ‘higher structures’"

Presenter
  • Emily Riehl
February 1, 2024
SLMath
Enabling predictive simulations for design and decision making under a limited budget Thumbnail

Enabling predictive simulations for design and decision making under a limited budget

Presenter
  • Ilias Bilionis
January 21, 2016
IPAM
Random Dynamical Systems. Thumbnail

Random Dynamical Systems.

Presenter
  • Bjoern Schmalfuss
September 17, 2012
IMA
Cryptography: Secrets and Lies, Knowledge and Trust Thumbnail

Cryptography: Secrets and Lies, Knowledge and Trust

Presenter
  • Avi Wigderson
November 3, 2011
IMA