Past Events

We analyze the existence, linear stability, and slow dynamics of localized 1D spike patterns for a Keller-Segel model of chemotaxis that includes the effect of logistic growth of the cellular population. Our analysis of localized patterns for this...

The fundamental principle of derived deformation theory is that a formal “space” (i.e. a formal moduli problem) can be encoded by a differential graded Lie algebra. The plan for our learning seminar this term will be to unpack and understand this...

In 1973, C. I. Lewis published a landmark text developing a theory of counterfactual logics. The primary goal of the text was in providing a logical framework where one could reason about sentences of the form: “if P were true, then Q would be true”...

For graphs $G, H_1,\dots,H_r$, write $G \to (H_1, \ldots, H_r)$ to denote the property that whenever we $r$-colour the edges of $G$, there is a monochromatic copy of $H_i$ in colour $i$ for some $i \in \{1,\dots,r\}$. Mousset, Nenadov and Samotij...

The modern subject of Dynamical Systems concerns the study of the orbit structure of Semi-Group actions on various spaces. Until the latter part of the 19th century, this study was primarily restricted to the kinematics of rigid motions and the...

Vector bundles and principal bundles are important objects in differential geometry. Vector bundles over a manifold M are manifolds that are locally isomorphic to the Cartesian product M times V for some vector space V, while principal bundles over M...

This conference aims to share the most recent developments in statistics and data science with applications in biology, genetics, public health, and finance. Invited speakers consist of highly established, mid-range and early-career researchers from...

Quillen-Barr-Beck (co)homology is a theory which studies the objects of a category where we can make sense of such notions as “modules” and “derivations”. More precisely, in his thesis, Beck defined a general notion of modules and derivations in a...

In this talk, we introduce some recent regularity results of free boundary in optimal transportation. Particularly for higher order regularity, when densities are Hölder continuous and domains are C^2, uniformly convex, we obtain the free boundary is...

Categorical Message Passing Language (CaMPL) is a functional style concurrent programming language with a categorical semantics. In this talk, we explore the categorical semantics, programming syntax, and proof theory representations for CaMPL. This...