Videos

Start date cannot be after end date.
Introduction to the Coq Proof Assistant Thumbnail

Introduction to the Coq Proof Assistant

Presenter
  • Andrew Appel
December 7, 2010
IAS
Computational Complexity of MCMC in High Dimensions Thumbnail

Computational Complexity of MCMC in High Dimensions

Presenter
  • Andrew Stuart
May 23, 2007
SLMath

A database of modular curves

Presenter
  • Andrew Sutherland
June 23, 2025
ICERM
List Colourings of Simple Hypergraphs Thumbnail

List Colourings of Simple Hypergraphs

Presenter
  • Andrew Thomason
September 9, 2014
IMA
Instabilities due to microstructure growth at fluid interfaces Thumbnail

Instabilities due to microstructure growth at fluid interfaces

Presenter
  • Andrew Belmonte
October 13, 2009
IMA
Murmurations of Arithmetic L-functions Thumbnail

Murmurations of Arithmetic L-functions

Presenter
  • Andrew Sutherland
April 24, 2023
IAS
Optimization in the Race to a Liquid Biopsy Thumbnail

Optimization in the Race to a Liquid Biopsy

Presenter
  • Andrew Li
April 5, 2023
IMSI