Videos

Start date cannot be after end date.
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

Flux and fixation for the one-dimensional Axelrod model

Presenter
  • Nicolas Lanchier
June 25, 2012
MBI

Flux and fixation for the voter model and the Axelrod model

Presenter
  • Nicolas Lanchier
June 24, 2012
MBI
Affine sieve and expanders Thumbnail

Affine sieve and expanders

Presenter
  • Alireza Golsefidy
February 8, 2012
SLMath
Mini-course 2: Effective circle count for Apollonian circle packings, via spectral methods Thumbnail

Mini-course 2: Effective circle count for Apollonian circle packings, via spectral methods

Presenter
  • Hee Oh
February 6, 2012
SLMath

Thinking parallel: sparse iterative solvers with CUDA

Presenter
  • Jonathan Cohen
January 11, 2011
IMA
Planning to work in the academia Thumbnail

Planning to work in the academia

Presenter
  • Peh Ng
March 26, 2010
IMA
A tutorial on hyperbolic conservation laws. Lecture 1 Thumbnail

A tutorial on hyperbolic conservation laws. Lecture 1

Presenter
  • Alberto Bressan
July 13, 2009
IMA
A comparative study of linear and semidefinite branch-and-cut methods for solving the minimum graph bisection problem Thumbnail

A comparative study of linear and semidefinite branch-and-cut methods for solving the minimum graph bisection problem

Presenter
  • Christoph Helmberg
November 19, 2008
IMA
Small nonrestricted representations and completely prime primitive ideals. Thumbnail

Small nonrestricted representations and completely prime primitive ideals.

Presenter
  • Alexander Premet
March 12, 2008
SLMath
Intro to o-minimality and point-counting: Part I Thumbnail

Intro to o-minimality and point-counting: Part I

Presenter
  • Gal Binyamini
October 8, 2025
IAS

Roots of random polynomials under differential flows

Presenter
  • Brian Hall
August 8, 2025
ICERM