IEEE 2014 Fouth International Workshop on Formal Methods in Services and Cloud Computing (FM-S&C 2014)


One day between June 27 and July 2, 2014, at Hilton Anchorage, Alaska, USA within IEEE SERVICES 2014




Presently, emerging paradigm of cloud computing provides a new service delivery platform. One of the latest challenges is how to work with service computing in a cloud computing environment. Meanwhile, the convergence of service computing and cloud computing is becoming a major driving force for the adoption of both of these technologies.


It has been great advances in formal methods research via tool support and industrial best practice, and their role in a variety of industries, domains, and in certification and assurance. Also, formal methods can play a fundamental and important role in service computing and cloud computing. The topic of FM-S&C 2014 is the theory aspect of data intensive services. There is no doubt in the industry and research community that the importance of data intensive computing has been raising and will continue to be the foremost fields of research. As a result, the data intensive services have become the important type of Web service. Also, it has become a hot issue in the academia and industry. Potentially, this could have a significant impact on the on-going researches for services and data intensive computing.


The scope of the FM-S&C workshop series is not limited to technological aspects. In fact, there is a strong tradition of attracting submissions on formal approaches to enterprise systems modeling in general, and business process modeling in particular. Potentially, this might have a significant and lasting impact on the ongoing standardization efforts in cloud computing technologies.


The previous series of this workshop(FM-S&C 2011, 2012, and 2013) had attracted around 65 attendants including around 25 presenters and a dozen of submissions. Last year, some selected papers were recommended to International Journal of Computer Mathematics(SCI Index). The aim of FM-S&C2014 is to encourage academic researchers and industry practitioners to present and discuss all formal analysis, modeling and verification related to research and experiences in a broad spectrum of services and cloud computing.

If you have any questions or queries on FM-S&C 2014, please send email to




List of topics

The topics of the workshop include but not limited to:


Standards and technologies for service-oriented and cloud computing


Important Dates


Paper Submission

Authors are invited to submit full papers (about 8 pages) or short papers (about 4 pages) as per IEEE 8.5 x 11 manuscript guidelines (download Word templates or LaTeX templates ). The submitted papers can only be in the format of PDF or WORD. Please follow the IEEE Computer Society Press Proceedings Author Guidelines to prepare your papers, respectively. At least one author of each accepted paper is required to attend the workshop and present the paper. All papers must be submitted via the confhub submission system for the FMSC workshop (TBD).


First time users need to register with the system first (see these instructions for details). All the accepted papers by the workshops will be included in the Proceedings of the IEEE 10th World Congress on Services (SERVICES 2014) which will be published by IEEE Computer Society.



Workshop chairs

Guoray Cai, Associate Professor, Penn State University, USA,

Ying Li, Associate Professor, Zhejiang University, China,

Yuyu Yin, Professor, Zhejiang University, China,


Publicity chair


Publication chair


Tentative program committee members(Tentative):


Back to IEEE SERVICES 2014 or the workshop overview page.

More information on the workshop status can be found here.