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
INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS Thumbnail

INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS

Presenter
  • IAS SchoolOfMath
December 3, 2010
IAS
Introduction to finite element exterior calculus Thumbnail

Introduction to finite element exterior calculus

Presenter
  • Ragnar Winther
October 30, 2010
IMA
Introduction to the Adams-Novikov Spectral Sequence: Ravenel's Proof for Primes > 3 Thumbnail

Introduction to the Adams-Novikov Spectral Sequence: Ravenel's Proof for Primes > 3

Presenter
  • Mark Behrens
October 28, 2010
SLMath
Introduction to the Slice Tower: The Slice Theorem Thumbnail

Introduction to the Slice Tower: The Slice Theorem

Presenter
  • Michael Hill
October 26, 2010
SLMath
Introduction to Equivariant Homotopy II Thumbnail

Introduction to Equivariant Homotopy II

Presenter
  • John Greenlees
October 26, 2010
SLMath
Introduction to Equivariant Homotopy I Thumbnail

Introduction to Equivariant Homotopy I

Presenter
  • Peter May
October 25, 2010
SLMath
Introduction to the calculus of expectation functionals Thumbnail

Introduction to the calculus of expectation functionals

Presenter
  • Roger Wets
October 17, 2010
IMA
Introduction to Radar Imaging III Thumbnail

Introduction to Radar Imaging III

Presenter
  • Margaret Cheney
August 25, 2010
SLMath
Introduction to Radar Imaging II Thumbnail

Introduction to Radar Imaging II

Presenter
  • Margaret Cheney
August 24, 2010
SLMath
Introduction to Radar Imaging I Thumbnail

Introduction to Radar Imaging I

Presenter
  • Margaret Cheney
August 23, 2010
SLMath
Introduction to Seismic Imaging II Thumbnail

Introduction to Seismic Imaging II

Presenter
  • Alison Malcolm
August 20, 2010
SLMath