How to submit to WS-FM

Submissions must be original and should not have been published previously nor be under consideration for publication while being evaluated for this workshop. All papers must be in English and submitted at the following submission site, handled by EasyChair,

using the Springer LNCS style. Papers should not exceed 15 pages in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. We expect to publish the post-workshop proceedings shortly after the workshop as a volume in Springer's Lecture Notes in Computer Science (LNCS).

Special Issue

Depending on the quality of the submissions, WS-FM 2013 may have a special issue on the Springer Journal on Service Oriented Computing and Applications indexed by SCOPUS, INSPEC, Google Scholar, Academic OneFile, ACM Digital Library, DBLP, EI-Compendex, Expanded Academic, OCLC, SCImago, Summon by Serial Solutions


Main topics of interest include (but are not limited to):
  • Formal foundations of services and clouds
  • Security, trust, QoS, dependability, and privacy in services and clouds
  • Contracts, types, and logics in services and clouds
  • Coordination and transactions for services and clouds
  • Multi-tenancy, adaptability and evolvability in the cloud
  • Verification, analysis, and testing of services/clouds
  • Innovative application scenarios for services/clouds
  • Standards and technologies for service-oriented and cloud computing
  • Ontologies and semantic descriptions for services and clouds
  • Semi-structured data management and XML technology
  • Services and clouds for business process management
  • Enterprise modeling and business process modeling
  • Data services and data-centric process modeling
  • Case studies on formal methods in service-oriented and cloud applications
  • Case studies on formal methods in business process management