Past Events

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

The Data Science Bootcamp is primarily intended for graduate-level students with a research interest in data science, although the Bootcamp will also appeal to senior undergraduate students who have an interest in pursuing academic studies in this...

Topological insulators are materials that exhibit unique physical properties due to their non-trivial topological order. One of the most notable consequences of this order is the presence of protected edge states as well as closure of bulk spectral...