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)

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:
  • Full research papers and experience papers with a maximum length of 12 pages, including references and appendices.
  • Short papers and position papers with a maximum length of 6 pages, including references and appendices.

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 second 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 2015 EasyChair web site at the following address: