Videos

Start date cannot be after end date.
Formal Abstract Homotopy Theory Thumbnail

Formal Abstract Homotopy Theory

Presenter
  • Jeremy Avigad
February 28, 2013
IAS
Semantics of Higher Inductive Types Thumbnail

Semantics of Higher Inductive Types

Presenter
  • Michael Shulman
February 27, 2013
IAS
Derandomizing BPL? Thumbnail

Derandomizing BPL?

Presenter
  • Avi Wigderson
February 26, 2013
IAS
Collective Phenomena, Collective Motion, and Collective Action in Ecological Systems Thumbnail

Collective Phenomena, Collective Motion, and Collective Action in Ecological Systems

Presenter
  • Simon Levin
February 25, 2013
IAS
Polar Codes and Randomness Extraction for Structured Sources Thumbnail

Polar Codes and Randomness Extraction for Structured Sources

Presenter
  • Emmanuel Abbe
February 25, 2013
IAS
$pi_2(s^2)$ in HoTT Thumbnail

$pi_2(s^2)$ in HoTT

Presenter
  • Guillaume Brunerie
February 20, 2013
IAS
New Approximations of the Total Variation, and Filters in Image Processing Thumbnail

New Approximations of the Total Variation, and Filters in Image Processing

Presenter
  • Haim Brezis
February 19, 2013
IAS
The Chasm at Depth 3 Thumbnail

The Chasm at Depth 3

Presenter
  • Shubhangi Saraf
February 19, 2013
IAS
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure? Thumbnail

Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?

Presenter
  • Peter Aczel
February 7, 2013
IAS
Large Data Dynamics for Nonlinear Dispersive PDEs Thumbnail

Large Data Dynamics for Nonlinear Dispersive PDEs

Presenter
  • Wilhelm Schlag
February 1, 2013
IAS
Toeplitz Matrices and Determinants Under the Impetus of the Ising Model Thumbnail

Toeplitz Matrices and Determinants Under the Impetus of the Ising Model

Presenter
  • Percy Deift
January 29, 2013
IAS
Sphere Packing Bounds Via Spherical Codes Thumbnail

Sphere Packing Bounds Via Spherical Codes

Presenter
  • Henry Cohn
January 22, 2013
IAS