FOR-MOVES: FORmal MOdeling and VErification of Service-based systems
November 3, 2014
Paris, France (co-located with ICSOC 2014)
Submitted papers must be 8-12 pages in length, following the Springer LNCS format. Proceedings, including all the papers selected for the workshop, will be available electronically at the workshop. No copyright transfer agreement will be required from the authors. For this first edition of this workshop, we would like to put the emphasis on discussions rather than on conventional publications.
Contributions must be submitted electronically in PDF using the FOR-MOVES 2014 EasyChair web site at the following address:
https://www.easychair.org/conferences/?conf=formoves2014