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

If you have any questions or queries on FM-S&C 2014, please send email to fmscmanager-AT-gmail.com.
The topics of the workshop include but not limited to:
Security, trust and dependability in services and cloud computing
Adaptability and evolvability in service-oriented/cloud applications
Formal analysis and design of service-oriented/cloud application
Substitutability, compatibility and equality of Web/cloud services
Formal aspects in dynamic reconfiguration of service-oriented application in the clouds
Service-oriented/cloud business process modeling and change management
Validation, verification and testing of service-oriented software
Formal aspects in Performance and quality of Web services/clouds
Formal aspects in Web/cloud service coordination and transaction
Formally syntactic, ontologies, semantic and behavioral description of Web services and clouds
Discovery matchmaking, and composition of Web services using logic/AI planning/Petri-net/etc.
Complex event processing in service-oriented and clouds application
Types and logics for Web services/clouds
Data services and data-centric process modeling
Theoretical foundations for services computing and cloud computing: all aspects of theory related to specification, verification, refinement, and static analysis.Standards and technologies for service-oriented and cloud computing
Case studies on formal methods in service-oriented and cloud applications
Case studies on formal methods in business process management