Previous Conferences & Workshops

A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. For instance, together with Kevin Buzzard and Johan Commelin, I recently formalized enough...

Wave maps are harmonic maps from a Lorentzian domain to a Riemannian target. Like solutions to many energy critical PDE, wave maps can develop singularities where the energy concentrates on arbitrary small scales but the norm stays bounded. Zooming...

I will explain a duality theorem with products in Rabinowitz-Floer homology. This has a bearing on string topology and explains a number of dualities that have been observed in that setting. Joint work in progress with Kai Cieliebak and Nancy...

The classical Linnik problems are concerned with the equidistribution of adelic torus orbits on the homogeneous spaces attached to inner forms of GL2, as the discriminant of the torus gets large. When specialized, these problems admit beautiful...

A great achievement of physics in the second half of the twentieth century has been the prediction of conformal symmetry of the scaling limit of critical statistical physics systems. Around the turn of the millenium, the mathematical understanding...

The construction of pure phases from ground states is performed for $ u > u_*(d)$ for all values of $d$ except for 39 special ones. For values $d$ with a single equivalence class all periodic ground states generate the corresponding pure phase which...

Homological mirror symmetry predicts that the derived category of coherent sheaves on a curve has a symplectic counterpart as the Fukaya category of a mirror space. However, with the exception of elliptic curves, this mirror is usually a symplectic...

Epidemiological forecasting is critically needed for decision making by national and local governments, public health officials, healthcare institutions and the general public. The Delphi group at Carnegie Mellon University was founded in 2012 to...

We describe a new method to study Eisenstein family and Iwasawa theory on unitary groups over totally real fields of general signatures. As a consequence we prove that if the central L-value of a cuspidal eigenform on the unitary group twisted by a...

In 1978, Charles Conley classified all continuous dynamical systems. His theorem, dubbed the "fundamental theorem of dynamical systems" states that the orbits of any continuous map on a compact metric space fall into two classes: gradient-like and...