Previous Conferences & Workshops

We study a new type of proof system, where an unbounded prover and a polynomial time verifier interact, on inputs a string $x$ and a function $f$, so that the Verifier may learn $f(x)$. The novelty of our setting is that there no longer are ``good"...

In three very interesting and suggestive papers, H. Carayol introduced new aspects of complex geometry and Hodge theory into the study of non-classical automorphic representations -- in particular, those involving the totally degenerate limits of...

The interface between water and vacuum (governed by the "water wave equation"), and the interface between oil and water in sand (governed by the "Muskat equation") can develop singularities in finite time. Joint work with A. Castro, D. Cordoba, F...

A basic fact of algebraic graph theory is that the number of connected components in an undirected graph is equal to the multiplicity of the eigenvalue zero in the Laplacian matrix of the graph. In particular, the graph is disconnected if and only...