Start date cannot be after end date.
Homotopy Type Theory: what can logic do for homotopy theory?
Presenter
- Peter Lumsdaine
October 4, 2013
IAS
Peter Knowles - How far can we go with single-configuration quantum chemistry? - IPAM at UCLA
Presenter
- Peter Knowles
April 4, 2025
IPAM
Quantitative Stability of Geometric Inequalities: Pr\'ekopa-Leindler and Borell-Brascamp-Lieb
Presenter
- Peter van Hintum
February 10, 2025
IAS
Lower Bounds for Local Codes from Induced Subgraphs of Cayley Graphs
Presenter
- Peter Manohar
February 4, 2025
IAS
Introductory Workshop: Probability and Statistics of Discrete Structures: Permutations from Symmetric Random Walk
Presenter
- Peter Winkler
January 31, 2025
SLMath
Spectral Algorithms from Induced Subgraphs of Cayley Graphs
Presenter
- Peter Manohar
January 28, 2025
IAS
Computational learning of dynamical systems with stability constraints
Presenter
- Peter Benner
January 7, 2025
ICERM
