08:30h - 09:30h |
Registration |
09:30h - 09:35h |
Welcome |
09:35h - 10:30h
|
Invited Talk 1 |
|
Self-Healing Service-Based Processes
Keynote by Gerhard Friedrich |
10:30h - 11:00h |
Coffee break |
|
Session 1 |
11:00h - 11:30h
|
Local Type Checking for Linked Data
Ross Horne, Vladimiro Sassone and Gabriel Ciobanu
|
11:30h - 12:00h
|
Amending Choreographies
Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro
|
12:00h - 12:30h
|
Template Extraction Based on Menu Information
Julian Alarte, David Insa, Josep Silva and Salvador Tamarit |
12:30h - 14.30h |
Lunch |
14:30h - 15:30h
|
Invited Talk 2 |
|
Deconstructing Complex Distributed Platforms: A Report From the Trenches
Keynote by Francois Taiani |
|
Session 2 |
15:30h - 16:00h
|
Model Checking GSM-Based Multi-Agent Systems
Pavel Gonzalez, Andreas Griesmayer and Alessio Lomuscio
|
16:00h - 16:30h |
Coffee break |
|
Session 3 |
16:30h - 17:00h
|
Blind-date Conversation Joining
Luca Cesari, Rosario Pugliese and Francesco Tiezzi
|
17:00h - 17:30h |
Proving Properties of Rich Internet Applications
James Smith
|
17:30h - 17:40h |
Closing |