Previous Conferences & Workshops

We propose an “analytical” framework for studying parallel repetitions of one-round two-prover games. We define a new relaxation of the value of a game, val+, and prove that it is both multiplicative and a good approximation for the true value of...

In this talk I will present some old and new results on zeros of zeta functions. In particular, I will discuss the at first sight shocking result that there are plenty of zeta functions for which the Riemann hypothesis is false.

To apply the technique of virtual fundamental cycle (chain) in the study of pseudo-holomorphic curve, we need to construct certain structure, which we call Kuranishi strucuture, on its moduli space. In this talk I want to review certain points of...

We will discuss some new automorphy lifting theorems for residually reducible Galois representations, and their application to proving new cases of symmetric power functoriality for elliptic modular forms. This is joint work with Laurent Clozel.

We present some novel approaches to the instability problem of Hamiltonian systems (in particular, the Arnold Diffusion problem). We show that, under generic conditions, perturbations of geodesic flows by recurrent dynamics yield trajectories whose...

In this general survey talk, we will describe an approach to doing homotopy theory within Univalent Foundations. Whereas classical homotopy theory may be described as "analytic", our approach is synthetic in the sense that, in ``homotopy type theory...