Call for Papers


The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to:

  • 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.

Paper Categories

We solicit submissions related to the topics mentioned above in the following categories:

  • A – full papers: original research, applications and experiences, surveys (18 pages max, excluding references);
  • B – short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references);
  • C – journal-first papers (2 pages).

All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. Submissions in category C must be 2-page abstracts of journal papers published after January 1st, 2018. The objective of journal-first papers is to offer FACS attendees a richer program and further opportunities for interaction. Authors of published papers in high-quality journals can submit a proposal to present their journal paper at FACS. The journal paper must adhere to the following criteria:

  • It should be clearly in the scope of FACS.
  • It should be recent: only journal papers available after January 1st, 2018 (online or paper) can be presented.
  • It reports new research results that significantly extend prior work. As such, the journal paper does not simply extend prior work with material presented for completeness only (such as omitted proofs, algorithms, minor enhancements, or empirical results).
  • It has not been presented at, and is not under consideration for, journal-first programs of other similar conferences or workshops.
  • Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI).

Submission and Publication

Paper submission is done via EasyChair at:

Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity.

The post-proceedings of FACS 2019 will be published as a volume of LNCS; it consists of accepted papers in categories A and B. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made.

A special issue of Science of Computer Programming on FACS 2019 will be published by Elsevier. After the conference, authors of select papers will be invited to submit an extended version for inclusion.