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
Biological Research and Space Health Enabled by Machine Learning to Support Deep Space Missions
Presenter
- Lauren Sanders
March 24, 2024
ICERM
Arvind Ayyer - The inhomogeneous multispecies PushTASEP - IPAM at UCLA
Presenter
- Arvind Ayyer
April 16, 2024
IPAM
Lower bounds for the L^p norms of some Fourier multipliers
Presenter
- Vjekoslav Kovač
December 2, 2022
ICERM
Braid groups and permutations of the Kazhdan-Lusztig basis
Presenter
- Oded Yacobi
February 16, 2022
ICERM