Important dates

submission: August 25
notification: September 15
Camera ready: September 30
workshop: November 3


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: