The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. Specific topics include, but are not limited to:

• formal models for software components and their interaction

• formal methods and modeling languages for components and services

• formal aspects of services, service oriented architectures, SaaS, cloud computing, and business processes

• model-based and GUI-based design, implementation, and test of components and services

• composition and deployment: models, calculi, languages

• component/service re-engineering and reuse

• models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services

• formal models for component-based systems with variability

• update and reconfiguration of component and service architectures

• component systems evolution and maintenance

• autonomic components & self-managed applications

• formal and rigorous approaches to software adaptation and self-adaptive systems

• industrial or experience reports, and case studies in component software

• automated and tool-based approaches to facilitate the use of formal methods for components and services

• modelling and verification of real-time, probabilistic, and/or hybrid component-based systems

• components for real-time, safety-critical, secure, and/or embedded systems

• components as enabling technology for the Internet of things and cyber-physical systems