Videos

Start date cannot be after end date.
Homotopy Type Theory: what can logic do for homotopy theory? Thumbnail

Homotopy Type Theory: what can logic do for homotopy theory?

Presenter
  • Peter Lumsdaine
October 4, 2013
IAS
New Geometric Techniques in Number Theory, lecture 13 Thumbnail

New Geometric Techniques in Number Theory, lecture 13

Presenter
  • Peter Scholze
July 12, 2013
SLMath
New Geometric Techniques in Number Theory, lecture 10 Thumbnail

New Geometric Techniques in Number Theory, lecture 10

Presenter
  • Peter Scholze
July 10, 2013
SLMath
New Geometric Techniques in Number Theory, lecture 6 Thumbnail

New Geometric Techniques in Number Theory, lecture 6

Presenter
  • Peter Scholze
July 5, 2013
SLMath
New Geometric Techniques in Number Theory, lecture 4 Thumbnail

New Geometric Techniques in Number Theory, lecture 4

Presenter
  • Peter Scholze
July 3, 2013
SLMath
New Geometric Techniques in Number Theory, lecture 2 Thumbnail

New Geometric Techniques in Number Theory, lecture 2

Presenter
  • Peter Scholze
July 1, 2013
SLMath
Markov Jump Process Ion Channel Models Thumbnail

Markov Jump Process Ion Channel Models

Presenter
  • Peter Thomas
May 15, 2013
IMA
Hyperbolic groups with planar boundaries Thumbnail

Hyperbolic groups with planar boundaries

Presenter
  • Peter Haissinsky
April 29, 2013
IPAM

Understanding the Chinta-Gunnells action

Presenter
  • Peter McNamara
April 16, 2013
ICERM

The role of oscillatory entrainment in auditory selective attention

Presenter
  • Peter Lakatos
March 21, 2013
MBI

Affine Mirkovic-Vilonen polytopes

Presenter
  • Peter Tingley
March 5, 2013
ICERM
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