Call for Papers

---

Extended Deadline

we extended both the abstract and paper deadline to the 18th of July. However, we encourage authors to submit their abstracts as soon as possible to ease the planning of the reviewing process.

Important Dates

• Abstract submission deadline: 24 Jun 2022 18 Jul 2022 (AoE)
• Paper submission deadline: 4 Jul 2022 18 Jul 2022 (AoE)
• Notification: 5 Sep 2022 (AoE)
• Final version due: 26 Sep 2022 (AoE)

Follow Us

All updates on twitter.com/facs_conf

Invited Speakers

• Christel Baier, TU Dresden, Germany
• Renato Neves, University of Minho, Portugal
• Ina Schaefer, Karlsruhe IT, Germany
• Volker Stolz, Western Norway University of Applied Science, Norway

Free Registration

Registration for FACS 2022 will be free but mandatory. Information on how to register will be presented later.

Scope

FACS 2022 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification.

Topics

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. FACS 2022 welcomes contributions including but not limited to:

• Formal methods, models, and languages for components and services, including
  • verification techniques (e.g., model checking, type systems, testing, runtime analysis),
  • probabilistic techniques,
  • (co-)simulation techniques,
  • composition and deployment,
  • component interaction,
  • software variability,
  • QoS and other non-functional properties (e.g., trust, compliance, security, privacy);
• Formal aspects of concrete component-based systems, including
  • service-oriented architectures,
  • business processes,
  • cloud or edge computing,
  • real-time/safety-critical systems,
  • hybrid and cyber physical systems,
  • quantum systems,
  • components that use artificial intelligence;
• Tools supporting formal methods for components and services;
• Case studies and experience reports over the above topics.

Submissions

We solicit high-quality submissions reporting on:

• A - full papers: original research, applications and experiences, or surveys (16 pages);
• B - short papers: tools and demonstrations (6 pages);
• C - journal-first papers (4 pages).

Accepted papers from all categories will be published by Springer, in the Lecture Notes for Computer Science series. The page limit excludes references and appendices. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. For further information please visit the LNCS page at https://www.springer.com/lncs.

Please use the easychair link below to submit your paper:

• https://easychair.org/conferences/?conf=facs2022

The authors of a selected subset of accepted papers will be invited to submit an extended versions of their papers to a special issue in the Formal Aspects of Computing: Applicable Formal Methods (FAC) journal: https://dl.acm.org/journal/fac.

Full and tool/short publications (A, B)

All submissions in categories A and B must be original, unpublished, and not submitted concurrently for publication elsewhere. A special journal issue is planned for extended versions of selected papers from categories A and B from FACS 2022.

Journal-first publications (C)

Submissions in category C must be 4-page abstracts of journal papers published after January 1st, 2021. 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 is clearly in the scope of FACS.
• It is recent: only journal papers available after January 1st, 2021 (online or printed) 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).