Service-Oriented Architecture (SOA) is a widely accepted and engaged paradigm for the realization of business processes that incorporate several distributed, loosely coupled partners. However, how to work with service computing in a cloud environment is the latest challenge. Formal methods can play a fundamental and important role in service computing and cloud computing. 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. The aim of FM-S&amp;C 2016 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.