Previous Conferences & Workshops

We will discuss some recent SFT-type compactness results for J-curves (i.e. pseudo-holomorphic curves) in the symplectization of a contact manifold which is stretched along a special hypersurface. This procedure is called "sideways stretching" and...

Periodic bounce orbits are generalizations of billiard trajectories in the presence of a potential. Using an approximation technique by Benci-Giannoni we prove existence of periodic bounce orbits of prescribed energy. At the end of the talk I will...

Boolean Threshold Functions (BTF) arise in many contexts, ranging from computer science and learning theory to theoretical neurobiology. In this talk, I will present non-rigorous approaches developed in the statistical physics of disordered systems...

In this talk we will discuss recent progresses meant as a contribution to the GLS-project, the second generation proof of the Classification of Finite Simple Groups (jointly with R. Lyons, R. Solomon, Ch. Parker).

This paper revisits the construction of Universally One-Way Hash Functions (UOWHFs) from any one-way function due to Rompel (STOC 1990). We give a simpler construction of UOWHFs which also obtains better efficiency and security. The construction...

In this talk we shall discuss the Cartan geometry of the rotating Kepler problem. The rotating Kepler problem appears as the limit of the restricted planar three-body body when one of the masses goes to zero. As such, this problem plays the role of...

Abstract: In addition to formal definitions and theorems, mathematical theories also contain clever, context-sensitive notations, usage conventions, and proof methods. To mechanize advanced mathematical results it is essential to capture these more...

Given a cuspidal automorphic representation of GL(n) which is regular algebraic and conjugate self-dual, one can associate to it a Galois representation. This Galois representation is known in most cases to be compatible with local Langlands. When n...

Using the spectral multiplicities of the standard torus, we endow the Laplace eigenspace with Gaussian probability measure. This induces a notion of a random Gaussian Laplace eigenfunctions on the torus. We study the distribution of nodal length of...

The problem of capture in the planar restricted three-body problem is addressed. In particular, weak capture is described, which occurs at a complicated region called the weak stability boundary, where the motion is chaotic in nature. It was first...