FACS 2023

Call for Papers


Important Dates

Follow Us

All updates on twitter.com/facs_conf

Invited Speakers

Free Registration

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


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.


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:

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.


We solicit high-quality submissions reporting on:

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:

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:

Journal-first submissions must be marked as such in EasyChair, and they must explicitly include pointers to the journal publication (such as a DOI).