Past Events

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

The annual Applied Category Theory (ACT) conference brings together researchers, programmers, scientists and industry who seek to apply the foundational field of Category theory to domains outside of Mathematics such as engineering, computer science...

The annual Applied Category Theory (ACT) conference brings together researchers, programmers, scientists and industry who seek to apply the foundational field of Category theory to domains outside of Mathematics such as engineering, computer science...