- formal models for software components and their interaction;
- formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and similar artifacts;
- design and verification methods for software components and services;
- composition and deployment: models, calculi, languages;
- formal methods and modeling languages for components and services;
- models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services;
- components for real-time, safety-critical, secure, and/or embedded systems;
- components for the Internet of things and cyber-physical systems;
- probabilistic techniques for modeling and verification of component-based systems;
- model-based testing of components and services;
- case studies and experience reports;
- tools supporting formal methods for components and services.
- A) original research contributions (18 pages max);
- B) applications and experiences (18 pages max);
- C) surveys, comparisons, and state-of-the-art reports (18 pages max);
- D) tool papers (6 pages max).
Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs).
In addition, we solicit submissions to the Doctoral Track of FACS 2018, in the form of abstracts (3 pages max) concisely capturing work in progress, research questions, envisaged contributions, and/or partial results.
All accepted papers in categories A-D will appear in the proceedings of the conference that will be published as a volume in Springer’s Lecture Notes in Computer Science(LNCS) series.
The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to a special issue of the Science of Computer Programming journal.