Videos

Start date cannot be after end date.
Space Mission Design with Dynamical Systems Theory - Lecture 2 Thumbnail

Space Mission Design with Dynamical Systems Theory - Lecture 2

Presenter
  • Martin Lo
June 29, 2011
IMA
Space Mission Design with Dynamical Systems Theory Thumbnail

Space Mission Design with Dynamical Systems Theory

Presenter
  • Martin Lo
June 28, 2011
IMA
Invariance Under Isomorphism and Definability Thumbnail

Invariance Under Isomorphism and Definability

Presenter
  • Per Martin-Löf
December 13, 2012
IAS
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory Thumbnail

Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory

Presenter
  • Peter Dybjer
November 30, 2012
IAS
Univalent Foundations of Mathematics Thumbnail

Univalent Foundations of Mathematics

Presenter
  • Vladimir Voevodsky
December 10, 2010
IAS
The Probability that a Slight Perturbation of a Numerical Analysis Problem is Difficult Thumbnail

The Probability that a Slight Perturbation of a Numerical Analysis Problem is Difficult

Presenter
  • Peter Bürgisser
April 20, 2007
IMA
Martin boundary and local limit theorem of Brownian motion on negatively-curved manifolds Thumbnail

Martin boundary and local limit theorem of Brownian motion on negatively-curved manifolds

Presenter
  • Seonhee Lin
February 6, 2015
SLMath
A Model Theoretic Approach to Berkovich Spaces, 2 Thumbnail

A Model Theoretic Approach to Berkovich Spaces, 2

Presenter
  • Martin Hils
February 6, 2014
SLMath
Stacks and Log Prismatic Cohomology Thumbnail

Stacks and Log Prismatic Cohomology

Presenter
  • Martin Olsson
November 13, 2023
IAS
Main components of moduli spaces and log geometry Thumbnail

Main components of moduli spaces and log geometry

Presenter
  • Martin Olsson
January 29, 2009
SLMath
Louis Martin Rousseau - Combining Machine Learning & Optimization for efficient healthcare delivery Thumbnail

Louis Martin Rousseau - Combining Machine Learning & Optimization for efficient healthcare delivery

Presenter
  • Louis-Martin Rousseau
March 1, 2023
IPAM
Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization Thumbnail

Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization

Presenter
  • Louis-Martin Rousseau
February 25, 2021
IPAM