This meeting is a very beginner-friendly refresher on the interplay between parametricity and logical relations to prove program equivalence.

In this session, we explore how the propositions-as-types paradigm extends to concurrency.

In which we discuss Fiore, Plotkin, and Turi's theory of abstract syntax.

In this session, we investigate how describing effects algebraically generates most of the monads traditionally used to model said effects.

In this session, we explore algebraic effects and handlers.

In this session, we relate internal mobility to agent-passing calculi.

This session inaugurates the first cycle of PLUSLE meetings, which is dedicated to (higher-order) concurrency theory.