Previous Conferences & Workshops

The Univalent Foundations of Voevodsky offer not only a formal language for use in computer verification of proofs, but also a foundation of mathematics alternative to set theory, in which propositions and their proofs are mathematical objects, and...

Zero sets of Laplace eigenfunctions are called nodal sets. The talk will focus on propagation of smallness techniques, which are useful for estimates of the Hausdorff measure of the nodal sets.

We develop efficient algorithms for estimating low-degree moments of unknown distributions in the presence of adversarial outliers. The guarantees of our algorithms improve in many cases significantly over the best previous ones, obtained in recent...

We will discuss Knop's paper "The asymptotic behavior of invariant collective motion" which analyzes the moment map for a spherical variety and relates it to a Weyl group.

One of the key problem in mirror symmetry is that singular fibres in higher dimensional SYZ fibrations of sufficiently interesting spaces (e.g. the quintic 3-fold) have bad singularities. This makes it unreasonable to directly define their...

Last semester I gave a talk that was a 1-hour condensation of undergrad machine learning. https://www.ias.edu/video/membsem/2017/1127-SanjeevArora . This semester's talk will be a 1-hour treatment of some research directions in theoretical machine...

An error-correcting code is called locally repairable if any coordinate of a codeword can be recovered by accessing only few other coordinates. For locally repairable codes over small alphabets (such as binary), the optimal trade-off between...