Videos

Start date cannot be after end date.

Interactive theorem proving, automated reasoning, and dynamical systems

Presenter
  • Jeremy Avigad
April 5, 2016
ICERM
Collapsing hyperbolic structures: from rigity to flexibility and back Thumbnail

Collapsing hyperbolic structures: from rigity to flexibility and back

Presenter
  • Steve Kerckhoff
April 5, 2016
IAS

Estimating long-term behavior of periodically driven flows without trajectory integration

Presenter
  • Gary Froyland
April 4, 2016
ICERM

Linear Response- Formulae and Rigorous Approximations

Presenter
  • Wael Bahsoun
April 4, 2016
ICERM

Effective computation of expansivity rates in one-dimensional dynamics

Presenter
  • Pawel Pilarczyk
April 4, 2016
ICERM

On the measure of the set of regular parameter values for the quadratic map

Presenter
  • Zbigniew Galias
April 4, 2016
ICERM
The solution to the sphere packing problem in 24 dimensions via modular forms Thumbnail

The solution to the sphere packing problem in 24 dimensions via modular forms

Presenter
  • Stephen Miller
April 4, 2016
IAS
Knot surgery and Heegaard Floer homology Thumbnail

Knot surgery and Heegaard Floer homology

Presenter
  • Jennifer Hom
April 4, 2016
IAS
An average-case depth hierarchy theorem for Boolean circuits I Thumbnail

An average-case depth hierarchy theorem for Boolean circuits I

Presenter
  • Li-Yang Tan
April 4, 2016
IAS
Stability conditions and cluster varieties, 2 Thumbnail

Stability conditions and cluster varieties, 2

Presenter
  • Tom Sutherland
April 1, 2016
SLMath
Generic bases are dual semicanonical bases for unipotent cells Thumbnail

Generic bases are dual semicanonical bases for unipotent cells

Presenter
  • Christof Geiss
April 1, 2016
SLMath
Mirror symmetry for homogeneous spaces, 2 Thumbnail

Mirror symmetry for homogeneous spaces, 2

Presenter
  • Clelia Pech
April 1, 2016
SLMath