Program

Note that the workshop will take place be in two different locations. On Thursday at the ETAPS main conferences venue - Centro Congressi Lingotto, Via Nizza, 280 - and on Friday at the ETAPS workshops venue - ITS Torino, Via Jacopo Durandi, 10.

Time	APM@ETAPS 2026
	Thursday April 16	Friday April 17
09:00 - 10:00		Chair: Ferruccio Damiani
09:00 - 09:30		Maurice ter Beek: Asynchronous Team Automata
09:30 - 10:00		Vincenzo Ciancia: Nearbytes: a minimalist, resilient, asynchronous toolkit
10:00 - 10:30		Coffee break
10:30 - 12:30		Chair: Reiner Hähnle
10:30 - 11:10		Marco Scaletta: Taming Big CATs
11:10 - 11:40		Emilio Tuosto: Behavioural Types and Local-First Principles for Swarms
11:40 - 12:10		Michele Loreti: Attribute-based Communication meets Security
12:10 - 12:30		Michael Lienhardt: Automatic Generation of a Distributed and Asynchronous HPC Dataflow
12:30 - 14:00		Lunch
14:00 - 16:00		Discussion?
16:00 - 16:30	Coffee Break
16:30 - 18:40	Chair: Einar Broch Johnsen
16:30 - 16:50	Mohammad Mousavi: Behavioural Feature Models
16:50 - 17:20	Matteo Baldoni: Evaluating the Benefits of Orpheus for Iterative and Incremental Development in MAS
17:20 - 17:50	Franco Barbanera: Safe composition of systems of Communicating Finite State Machines
17:50 - 18:20	Riccardo Sieve: A Self-Adaptive Digital Twin Architecture for Dynamic Resource Management
18:20 - 18:40	Daniel Drodt: Towards Verification of Async Rust
19:00 - 00:00	Workshop dinner at Enoteca Rosso Rubino