Previous Conferences & Workshops

In this survey talk I will describe developments in the study of the planar circular restricted 3-body problem that were made possible through the use of pseudo holomorphic curves, following the theory developed by Hofer, Wysocki and Zehnder.

Back in the 70s, Gromov started to study the relationship between the Lipschitz constant of a map (also called the dilation) and its topology. The Lipschitz constant describes the local geometric features of the map, and the problem is to understand...

For any unsatisfiable CNF formula F that is hard to refute in the Resolution proof system, we show that a gadget-composed version of F is hard to refute in any proof system whose lines are computed by efficient communication protocols---or...

For Legendrian and transverse links in the 3-sphere, Ozsvath, Szabo, and Thurston defined combinatorial invariants that reside in grid homology. Known as the GRID invariants, they are effective in distinguishing some transverse knots that have the...

Based on the Lagarias-Odlyzko effectivization of the Chebotarev density theorem, Kumar Murty gave an effective version of the Sato-Tate conjecture for an elliptic curve conditional on the analytic continuation and the Riemann hypothesis for all the...

Motivations like domain adaptation, transfer learning, and feature learning have fueled interest in inducing embeddings for rare or unseen words, n-grams, synsets, and other textual features. This paper introduces a la carte embedding, a simple and...

We present the first protocol allowing a classical computer to interactively verify the result of an efficient quantum computation. We achieve this by constructing a measurement protocol, which allows a classical string to serve as a commitment to a...

We present the first protocol allowing a classical computer to interactively verify the result of an efficient quantum computation. We achieve this by constructing a measurement protocol, which allows a classical string to serve as a commitment to a...