Call for Papers 2018-06-08T01:53:09+00:00

Scope

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.

Submission

We solicit submissions, related to the topics mentioned above, in the following categories:
  • 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).
All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission is done via EasyChair at https://easychair.org/conferences/?conf=facs2018.

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.

Publication

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.