Important dates

submission: August 14, 2015
notification: September 14, 2015
Camera ready copy: September 30, 2015
workshop: November 16, 2015


FOR-MOVES 2015: FORmal MOdeling and VErification of  Service-based systems

November 16, 2015

Goa, India (co-located with ICSOC 2015)

    During the few last years the use of formal approaches for the modeling and the verification of service-based processes is increasingly widespread. On the one hand, formal modeling allows one to define unambiguous semantics for the languages and protocols used for the specification of service oriented systems. On the other hand, formal verification approaches are popular means of checking the correctness properties of these applications, such as safety, liveness, QoS requirements and security. Such properties can be considered as a behavioral criteria for compatibility between different local services/processes.

    The aim of FOR-MOVES workshop is to provide a venue for the presentation and discussion of new ideas and work in progress in formal modeling and verification methods, in the field of Service Oriented Computing (SOC). The topics include, but are not limited to, the following:

Authors are invited to submit original, previously unpublished research papers. Papers should be written in English, strictly following Springer LNCS style including all text, references, appendices, and figures. For formatting instructions and templates, see the Springer Web page:
Following types of submissions are accepted:
Organisers: Hanifa Boucheneb and Kais Klai