Videos

Start date cannot be after end date.
Derandomization of Probabilistic Logspace (The Nisan Variations) Thumbnail

Derandomization of Probabilistic Logspace (The Nisan Variations)

Presenter
  • Avi Wigderson
March 5, 2013
IAS
Quasirandom Hypergraphs Thumbnail

Quasirandom Hypergraphs

Presenter
  • Dhruv Mubayi
March 4, 2013
IAS
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