Videos

Start date cannot be after end date.

Spatial Patterns of Gene Expression in Multicellular Ensembles

Presenter
  • Murat Arcak
October 4, 2017
MBI
Formal synthesis for traffic control Thumbnail

Formal synthesis for traffic control

Presenter
  • Murat Arcak
October 27, 2015
IPAM
On generalized lower bound conjecture for simplicial polytopes Thumbnail

On generalized lower bound conjecture for simplicial polytopes

Presenter
  • Satoshi Murai
December 4, 2012
SLMath
Lower bound theorems for manifolds and balanced manifolds Thumbnail

Lower bound theorems for manifolds and balanced manifolds

Presenter
  • Isabella Novik
September 1, 2017
SLMath
A Complexity Lower Bound on Algebra Isomorphisms Thumbnail

A Complexity Lower Bound on Algebra Isomorphisms

Presenter
  • Jeongwan Haah
February 10, 2026
IAS
A Gapped Boundary of a Chiral Theory in 2+1d Thumbnail

A Gapped Boundary of a Chiral Theory in 2+1d

Presenter
  • Jeongwan Haah
February 9, 2026
IAS

Closing the Theory-Practice Gap in Oblivious Subspace Embeddings

Presenter
  • Michal DereziƄski
February 5, 2026
ICERM
A survey on the restriction conjectures Thumbnail

A survey on the restriction conjectures

Presenter
  • Hong Wang
January 28, 2026
IAS