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: http://www.springer.de/comp/lncs/authors.html
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:
https://easychair.org/conferences/?conf=formoves2015