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
New perspective to capital allocation rules in a dynamic setting
Presenter
- Emanuela Rosazza Gianin
May 12, 2022
IMSI
Combinatorial and Geometric Challenges in PAC Learning with Partial Concepts
Presenter
- Shay Moran
September 15, 2025
IAS
A unified look at contingency tables optimal transport and Schrödinger bridge
Presenter
- Hanbaek Lyu
July 21, 2025
IMSI
