Call for Papers

---

Highlights

• Fully virtual conference (80+ participants last year)
• Proceedings in LNCS (confirmed) + special issue in a journal (Science of Computer Programming)
• Special track: “Formal Methods at Large”

Important Dates

• Abstract submission deadline: July 3rd July 17th, 2023
• Paper submission deadline: July 10th July 17th, 2023
• Notification: September 8th, 2023
• Final version due: October 2nd, 2023
• Symposium: October 19th-20th, 2023

Follow Us

All updates on twitter.com/facs_conf

Invited Speakers

• Marsha Chechik, University of Toronto, Canada
• Rajeev Alur, UPenn, USA

Free Registration

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

Scope

FACS 2023 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. Furthermore, we embrace a trend in recent FACS editions by introducing a new special track of “Formal Methods at Large”: it will accept submissions about advances based on formal methods across all kinds of software-intensive systems, possibly unrelated to components or composition.

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

• Formal methods, models, and languages for software-intensive systems, 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 software-intensive 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;
• Special track: Formal Methods at Large.

To celebrate the 20th anniversary of FACS, we also invite submissions on the topic of “component-based systems through the years” that describe important results and successful stories that originated in the context of component-based software engineering. All the accepted papers will be presented in a special session.

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=facs2023

The authors of a selected subset of accepted papers will be invited to submit an extended version of their papers to a special issue of Science of Computer Programming.

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

Journal-first publications (C)

Submissions in category C must be 4-page abstracts of journal papers published after January 1st, 2023. 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, 2023 (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).