PLACES 2026 Programme and Proceedings
The PLACES 2026 proceedings are available here.
11 April 2026
ITS Torino, Via Jacopo Durandi 10, Turin
Room 15+12
| 08:00-08:45 | Arrival and Registration | |
| 08:45-09:00 | Opening of PLACES 2026 | |
| 9:00-10:00 | Keynote talk | Franco Barbanera, Università di Catania Simple MultiParty Sessions: a different perspective on multiparty session types |
| 10:00-10:30 | Coffee Break | |
| 10:30-10:55 | Session: Probabilities and Choice Chair: Paola Giannini | Haoran Yang and Nobuko Yoshida Generating Local Shields for Decentralised Partially Observable Markov Decision Processes |
| 10:55-11:20 | Franco Barbanera and Mariangiola Dezani-Ciancaglini Asynchronous Multiparty Sessions with Mixed Choice | |
| 11:20-11:45 | Francisco Parrinha, João Mota and António Ravara Modelling Distributed Applications with Mixed-Choice Stateful Typestates | |
| 11:45-12:10 | Benjamin Robinson and Nobuko Yoshida Branching Out: Existential External Choice in Effpi | |
| 12:10-12:30 | Dylan McDermott Probabilistic liveness for multiparty session types | |
| 12:30-14:00 | Lunch | |
| 14:00-14:25 | Session: Applications and Extensions Chair: Ugo de' Liguoro | Gianluca Torta, Giorgio Audrito, Andrea Basso, Daniele Bortoluzzi, Ferruccio Damiani and Giordano Scarso Exploiting Aggregate Programming in a Multi-Robot Service Prototype |
| 14:25-14:50 | Tycho Dubbeling, Marieke Huisman and Ömer Şakar Predicate Subtypes in VerCors | |
| 14:50-15:15 | Richard Casetta, Nils Gesbert and Pierre Geneves Towards Multiparty Session Types for Fault-Tolerant Web Applications | |
| 15:15-15:40 | Luigi Liquori, Michael Mendler and Claude Stolze Determinacy with Weak Priorities and Clocks | |
| 15:40-16:00 | Bernardo Almeida, Pedro Ângelo, Diana Costa, Andreia Mordido, Diogo Poças, Gil Silva and Vasco T. Vasconcelos What’s New in FreeST 5.0: Types, Protocols, and Concurrency | |
| 16:00-16:30 | Coffee Break | |
| 16:30-16:50 | Session: Mechanisation and Implementation Chair: Kirstin Peters | Michael Terry and Nobuko Yoshida Borrowing Multiparty Session Types in Rust |
| 16:50-17:10 | Luca Padovani A Continuation-Based Solution of the Linearity Challenge | |
| 17:10-17:30 | Angela Bao and Atalay Mert Ileri Mechanising Concurrent Quantum Protocols | |
| 17:30-17:40 | Closing | |
| from 19:30 | organised Dinner at the venue (https://ristorantelapiazza.com/home/) | |
Title.
Simple MultiParty Sessions: a different perspective on multiparty session types
Abstract.
Choreographic formalisms provide a modelling approach for concurrent and distributed systems. These formalisms are characterised by the coexistence of two distinct views: the global view and the local view. The Simple MultiParty Sessions (SMPS) framework, which is orthogonal to the well-known MultiParty Session Types (MPST) framework, has recently been introduced. In the SMPS framework, global types are assigned to systems of processes via typing, whereas in the MPST framework, they are projected to local types for processes. After providing an accessible presentation of the SMPS framework, we illustrate its correspondences with MPST. We then discuss how relevant issues in multiparty systems with sessions have been investigated within this framework, ranging from internal delegation and asynchronous communications to partial global types and the use of extension to mixed choice.
Franco Barbanera (Università di Catania)