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
Shimura Varieties and the Bernstein Center Thumbnail

Shimura Varieties and the Bernstein Center

Presenter
  • Tom Haines
December 6, 2010
IAS
Nonlinear Dvoretzky Theory Thumbnail

Nonlinear Dvoretzky Theory

Presenter
  • Assaf Naor
December 6, 2010
IAS
A Reidemeister-Singer Conjecture for Surface Diagrams Thumbnail

A Reidemeister-Singer Conjecture for Surface Diagrams

December 3, 2010
IAS
A Reidemeister-Singer Conjecture for Surface Diagrams Thumbnail

A Reidemeister-Singer Conjecture for Surface Diagrams

December 3, 2010
IAS
A Reidemeister-Singer Conjecture for Surface Diagrams Thumbnail

A Reidemeister-Singer Conjecture for Surface Diagrams

Presenter
  • Jonathan Williams
December 3, 2010
IAS
Localization and Thermalization in Highly-Excited Many-Body Quantum Systems Thumbnail

Localization and Thermalization in Highly-Excited Many-Body Quantum Systems

Presenter
  • David Huse
December 3, 2010
IAS
INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS Thumbnail

INTRODUCTION TO THE UNIVALENT FOUNDATIONS OF MATHEMATICS

Presenter
  • IAS SchoolOfMath
December 3, 2010
IAS
Domain Decomposition for the Wilson Dirac Operator Thumbnail

Domain Decomposition for the Wilson Dirac Operator

Presenter
  • Andreas Frommer
December 3, 2010
IMA
Convergence rates of AFEM with <i>H <sup>-1</sup></i> Data Thumbnail

Convergence rates of AFEM with <i>H <sup>-1</sup></i> Data

Presenter
  • Ricardo Nochetto
December 3, 2010
IMA
Projection based model reduction for shape optimization of the Stokes system Thumbnail

Projection based model reduction for shape optimization of the Stokes system

Presenter
  • Ronald Hoppe
December 3, 2010
IMA
Relative p-Adic Hodge Theory Thumbnail

Relative p-Adic Hodge Theory

Presenter
  • Ruochuan Liu
December 2, 2010
IAS