Proofs as Processes. Propositions as sessions

Thu, 07 May 2026 08:00:00 +0100

In this session, we explore how the propositions-as-types paradigm extends to concurrency. Upon request, the session will be hosted as a hybrid event.

Practicalities

Location: due to high turnout, PLSL meetings now take place in the IMADA Meeting Room 4 (Ø14-605b-2).
Time: PLSL meetings do not follow the “academic quarter” rule. The sessions start at the indicated time.
Preparation: unless otherwise specified, reading the assigned material in advance is required to join PLSL sessions proficuously.

Material

The material to be read before the meeting is:

Substructural Logics on PLSL

Proofs as Processes. Propositions as sessions

Practicalities

Material