Past Events

I will provide a (very basic) tutorial on the Curry-Howard correspondence between proofs (in natural deduction) and terms in the typed -calculus. No prior knowledge of either will be presupposed.

In 1962, Tutte proposed a simple method to produce a straight-line embedding of a planar graph in the plane, known as Tutte's spring theorem. It leads to a surprisingly simple proof of a classical theorem proved by Bloch, Connelly, and Henderson in...

We introduce a combinatorial object corresponding to a graph G, called a special rim hook G-tabloid. We construct sign-reversing maps on these special rim hook G-tabloids to prove that a family of claw-free graphs called generalized nets are Schur...

The random interlacement point process (introduced by Sznitman, generalized by Teixeira) is a Poisson point process on the space of labeled doubly infinite nearest neighbour trajectories modulo time-shift on a transient graph G. We show that the...

The size function h0 for a number field is analogous to the dimension of the Riemann-Roch spaces of divisors on an algebraic curve. Van der Geer and Schoof conjectured that h0 attains its maximum at the trivial class of Arakelov divisors if that...

In 1962, Tutte proposed a simple method to produce a straight-line embedding of a planar graph in the plane, known as Tutte's spring theorem. This construction provides not only one embedding of a planar graph, but infinite many distinct embeddings...

An increasingly common viewpoint is that protein dynamics data sets reside in a non-linear subspace of low conformational energy. Ideal data analysis tools should therefore account for such non-linear geometry. The Riemannian geometry setting can be...

Many natural and social phenomena involve individual agents coming together to create group dynamics, whether the agents are drivers in a traffic jam, cells in a developing tissue, or locusts in a swarm. Here I will focus on the specific example of...

In this talk, we will share a new evolutionary but ensemble method, that enable us to track different regimes of behavior and identify when the changes occurred. As opposed to traditional methods that relies on statistical change tracking to detect...

The moduli space of Higgs bundles on a complex algebraic curve — an object that originates from Yang-Mills theory in theoretical physics, but which now lies at the interface of algebraic geometry and geometric representation theory — is perhaps best...