Previous Conferences & Workshops

I'll give a brief introduction to o-minimality and how it can be used to prove asymptotic estimates for the number of rational points in definable sets. I'll then show how problems from various areas of mathematics can be reformulated as questions...

In this talk, I will describe our construction of the first explicit lossless vertex expanders. These are graphs where every small subset of vertices has about as many neighbors as their sparsity allows. Previously, the strongest known explicit...

In characteristic zero, Castelnuovo proved that every unirational surface is rational. In positive characteristic, this fails dramatically: there exist many non-rational, often even general-type, surfaces that are nevertheless unirational. In 1977...

I will describe recent work in progress on logarithmic--exponential preparation theorems in analytically generated sharply o-minimal structures. Our results imply the sharp o-minimality of $\mathbb{R}_{\exp}$ as well as a uniform version of Wilkie’s...

Property (T) was defined by Kazhdan in the 1960s, who used it to prove two conjectures of Selberg on lattices in high-rank Lie groups. Shortly after that, Margulis used it to construct expander graphs.

Property $\tau$ is a baby version of property (T...

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...