Call for Papers

Topics of Interest

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


We solicit high-quality submissions reporting on:

  • 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 prepared in LaTeX, adhering to the LNCS format and guidelines.

Please use the easychair link below to submit your paper:

Doctoral Track

In addition, we solicit submissions to the Doctoral Track of FACS 2017, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere.


All accepted papers will appear in the categories A-D above will appear in the proceedings of the conference that will be published as a volume in the Springer's Lecture Notes in Computer Science series.

A special issue of the Science of Computer Programming journal is planned for extended versions of selected papers from FACS 2017.