Start date cannot be after end date.
Tests, Games, and Martin-Lof's Meaning Explanations for Intuitionistic Type Theory
Presenter
- Peter Dybjer
November 30, 2012
IAS
A comparative study of linear and semidefinite branch-and-cut methods for solving the minimum graph bisection problem
Presenter
- Christoph Helmberg
November 19, 2008
IMA
Recent progress on geometric analysis and Riemannian geometry: Uniqueness of Semigraphical Translators
Presenter
- Mariel Saez Trumper
October 22, 2024
SLMath
Introductory Workshop: Probability and Statistics of Discrete Structures: Permutations from Symmetric Random Walk
Presenter
- Peter Winkler
January 31, 2025
SLMath
Introductory Workshop: Probability and Statistics of Discrete Structures: The largest common subtree of uniform attachment trees
Presenter
- Miklós Rácz
January 30, 2025
SLMath
Arvind Ayyer - The inhomogeneous multispecies PushTASEP - IPAM at UCLA
Presenter
- Arvind Ayyer
April 16, 2024
IPAM
