Past Events

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

A classical Electrical Engineering problem is to determine whether two networks of resistors are equivalent. The standard solution is to use a process of eliminating internal nodes (the star/mesh transformation) which may be seen as a rewriting...

The “Inclusive Paths in Explicit Number Theory” summer school is one of the highlight events organized by the PIMS-funded Collaborative Research Group (CRG) “ L-functions in Analytic Number Theory”. It is a two-week event hosted by the Banff...

The objective of this conference is to bring together researchers, postdoctoral fellows, recent graduates in the fields of statistics, machine learning and optimization to foster collaboration, exchange ideas, and promote the advancement of research...

Martingales are perhaps best known as a gambling strategy of repeatedly doubling the stakes of a bet, in the hope that eventually a single win will cover previous losses and return a profit. In physics, though little known, martingales are also...

From June 12 to 16, 2023, the Mathematical Physics group in the Mathematisches Institut at Universität Heidelberg, will host a workshop on topics at the intersection of physics and pure mathematics, focused special emphasis on algebra, representation...