Videos

Start date cannot be after end date.
Random Matrices, Dimensionality Reduction, and Faster Numerical Linear Algebra Algorithms Thumbnail

Random Matrices, Dimensionality Reduction, and Faster Numerical Linear Algebra Algorithms

Presenter
  • Jelani Nelson
March 11, 2013
IAS
Intractability in Algorithmic Game Theory Thumbnail

Intractability in Algorithmic Game Theory

Presenter
  • Tim Roughgarden
March 11, 2013
IAS
Workshop on Topology: Identifying Order in Complex Systems Thumbnail

Workshop on Topology: Identifying Order in Complex Systems

Presenter
  • IAS SchoolOfMath
March 6, 2013
IAS
Cohomology in Homotopy Type Theory Thumbnail

Cohomology in Homotopy Type Theory

Presenter
  • Eric Finster
March 6, 2013
IAS
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