Welcome to the website of the Sixth Workshop on Asynchronous Programming Models, which will be held 2nd – 4th October in Turin, Italy, hosted by the University of Turin. Information about prior iterations can be found here.
Description
The APM Workshop is a venue for the discussion of asynchronous programming patterns, languages and model, ranging from theoretical results, over applications and implementations to opinion and overview contributions. To create a welcoming atmosphere for the community, there are no proceedings – instead we welcome presentations on published, on-going or envisioned work. We especially encourage the participation of junior researchers and presentations that can be the basis for discussions on the future of the field.
The APM workshop stands in the tradition of the ABS workshop, whose last iteration took place in Lyon, France, but is not specific to any language or paradigm.
Venue
The workshop will be held at the Department of Mathematics of the University of Turin, located at the center of the beautiful city of Turin:
Palazzo Campana Via Carlo Alberto, 10 Torino
https://en.unito.it/about-unito/seats/metropolitan-seats/how-get-palazzo-campana
Room 5, 2nd floor
Overhead projector
The room is equipped with a Casio overhead projector (HDMI port, 16:9 format, FULL HD resolution).
Program
Program 02.10
| Time | Presentation |
|---|---|
| 10:00 – 10:30 | Welcome (room “SALA PROFESSORI”, 1st floor) |
| — | Chair: Ferruccio Damiani |
| 10:30 – 11:00 | Mariangiola Dezani: Asynchronous Multiparty Sessions with Internal Delegation |
| 11:00 – 11:30 | Paola Giannini: Global Types for Agent Interaction Protocols |
| 11:30 – 12:00 | Einar Broch Johnsen: Proving Correctness of Parallel Implementations of Transition System Models |
| 12:00 – 14:00 | Break |
| — | Chair: Einar Broch Johnsen |
| 14:45 – 15:30 | Reiner Hähnle: Context-aware Trace Contracts (Part I) |
| 14:00 – 14:45 | Marco Scaletta: Context-aware Trace Contracts (Part II) |
| 15:30 – 16:00 | Break |
| — | Chair: Michael Lienhardt |
| 16:00 – 17:30 | Discussion: State-of-the-Art in Types for Asynchronous Models |
Program 03.10
| Time | Presentation |
|---|---|
| 10:00 – 10:30 | Welcome (room “SALA PROFESSORI”, 1st floor) |
| — | Chair: Volker Stolz |
| 10:30 – 11:00 | Silvia Lizeth Tapia Tarifa: Integrating Data Privacy Compliance in Active Object Languages |
| 11:00 – 12:00 | Matteo Baldoni: Programming Multiagent Systems via Information Protocols: the case of Jason |
| 12:00 – 14:00 | Break |
| — | Chair: Reiner Hähnle |
| 14:00 – 14:30 | Rasmus Ronneberg: Information Flow Control by Construction in Asynchronous Systems |
| 14:30 – 15:15 | Michael Lienhardt: A language for Orchestration of Data Processing |
| 15:15 – 15:45 | Ferruccio Damiani: Aggregate Programming state of affairs |
| 15:45 – 16:15 | Break |
| — | Chair: Michael Lienhardt |
| 16:15 – 17:45 | Discussion: State-of-the-Art in Types for Asynchronous Models |
Program 04.10
| Time | Presentation |
|---|---|
| 10:00 – 10:30 | Welcome (room “SALA PROFESSORI”, 1st floor) |
| — | Chair: Luca Paolini |
| 10:30 – 11:00 | Torta Gianluca: Aggregate Programming for RV: Towards Real-Time Guarantees for Spatial Properties |
| 11:00 – 11:30 | Giodano Scarso: AP goes into the virtual and non-virtual real world |
| 11:30 – 12:00 | Maurice ter Beek: From Synchronous to Asynchronous Communication in Team Automata |
| 12:00 – 12:30 | José Proença: Reconfigurable graphs for event structures |
| 12:30 – 13:30 | Break |
| — | Chair: Ferruccio Damiani |
| 13:30 – | Discussion and closing |
Organizers
If there are any inquiries or questions, feel free to contact the organizers:
- General Organization: Ferruccio Damiani
- Program Chairs: Eduard Kamburjan and Luca Paolini
- Local Organization: Gianluca Torta