- 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, LNCS format) describing PhD-work-in-progress, related theme, context, research questions, envisaged contributions, and partial results related to the topics of FACS. All accepted abstracts will appear in the Doctoral Track proceedings of FACS 2018.
Paper submission will be done electronically via EasyChair at https://easychair.org/conferences/?conf=facs2018.
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.