Previous Conferences & Workshops

There is a deep connection between stable homotopy theory and the theory of formal groups, first noticed by Quillen. I will describe this connection, and explain how this has led to the chromatic picture of the stable homotopy category.

I'll focus specifically on point counting results in o-minimal structures. I'll start with the classical theorem of Pila and Wilkie and move on to improved versions that only hold in the "sharp" variant of o-minimality.

Let $\Gamma$ be a countable group with a Cayley graph G. Suppose we are running an independent identical probabilistic algorithm on each vertex (or each edge) and vertices are only allowed to communicate with their neighbors. The goal of this...

Let Ω be an open set in a Euclidean space X of dimension (n+1) and ϕ be a uniformly convex smooth norm on X. Consider an n-dimensional unit-density varifold V in Ω, whose generalised mean curvature vector, computed with respect to ϕ, is bounded...

Around 1992, Aldous made the following bold conjecture. Let A be any set of transpositions in the symmetric group Sym(N). Then the spectral gap of the Cayley graph Cay(Sym(N),A) is identical to that of a relatively tiny N-vertex graph defined by A...

Capillary surfaces model the geometry of liquid interfaces meeting a container at an angle, and arise naturally as (constrained) minimizers of the Gauss free energy. We will discuss recent progress in understanding the size of the singular set of...

Motivated by the instances of Grothendieck’s generalized Hodge conjecture which have a purely algebraic expression, we study the restriction map in cohomology from a smooth projective variety $X$ to an affine $U$. Starting from $X$ being defined...

I will talk about joint work with my student Reuben Drogin.  We prove delocalization for the homogeneous Anderson model on an infinite regular tree (or Caley graph or Bethe lattice) with small bounded disorder. This extends earlier results of Klein...

In 1947 John Von Neumann and Herman Goldstine, while developing the IAS computing machines, wrote a seminal paper on numerical errors in matrix computations. They suggested modeling the "computing noise" (coming from rounding errors, transcendental...