Ball Call for papers
 Ball Important dates
 Ball Topics
 Ball Invited speakers
 Ball Program committee
 Ball Submission
 Ball Program
 Ball Accepted Papers
 Ball Registration
 Ball Location and travel
 Ball WWV homepage
 Ball Poster
 >  Special Issue JLAP
 >  DisCoTec 2013


Program

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

Fondo