[AISWorld] Call for Participation - WS-FM:FASOCC 2014 - Web Services and Formal Methods

[Matthias Weidlich]

#####################################################################

Call for Participation

WS-FM:FASOCC 2014

11th International Workshop on Web Services and Formal Methods:
Formal Aspects of Service-Oriented and Cloud Computing

11th - 12th September, 2014

NEW LOCATION: Eindhoven, The Netherlands

http://wsfm2014.haifa.ac.il/

#####################################################################

You are kindly invited to participate in the 11th International Workshop
on Web Services and Formal Methods: Formal Aspects of Service-Oriented
and Cloud Computing (WS-FM:FASOCC 2014). The aim of the WS-FM:FASOCC
workshop series is to bring together researchers working on SOC, cloud
computing, and formal methods in order to catalyse fruitful
collaboration. The scope of the workshop is not only limited to
technological aspects. In fact, the workshop series has a strong
tradition of attracting submissions on formal approaches to enterprise
systems modelling in general, and business process modelling in particular.

As in previous years, the workshop is co-located to the International
Conference on Business Process Management (BPM 2014). After it was
decided to relocate BPM 2014 from Haifa, Israel to Eindhoven, The
Netherlands, WS-FM:FASOCC 2014 will also take place in Eindhoven, 11th -
12th September, 2014.

The online registration for WS-FM:FASOCC is available at
http://bpm2014.haifa.ac.il/practical-details/registration

############################
Programme
############################

WS-FM:FASOCC will run from 11th September (afternoon) until 12th
September (noon). The full programme is available at
http://wsfm2014.haifa.ac.il/?page_id=19

Keynotes

 * Verification of Data-Aware Processes
   Giuseppe De Giacomo, Sapienza Univ. Roma, Italy

 * Choreographic Programming
   Fabrizio Montesi, University of Southern Denmark, Denmark

Research paper presentations

 * Paolo Arcaini, Roxana – Maria Holom and Elvinia Riccobene
   Modeling and formal analysis of a client-server application for
   Cloud services

 * Abel Armas, Marlon Dumas, Luciano Garcia-Banuelos and Artem
   Polyvyanyy
   On the Suitability of Generalized Behavioral Profiles for Process
   Model Comparison

 * Cinzia Di Giusto and Jorge A. Perez
   An Event-Based Approach to Runtime Adaptation in Communication
   Centric Systems

 * Marco Montali and Andrey Rivkin
   Formal Verification of Petri Nets with Names