FACS 2021 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.
Important Dates (extended)
July 2, 2021July 16, 2021 (AoE)
- Notification: August 20, 2021 (AoE)
- Camera-ready: September 15, 2021 (AoE)
- Conference: October 28-29, 2021 (AoE)
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 other artifacts;
- formal syntax and semantics of modeling languages;
- design and verification methods for software components and services;
- composition and deployment: models, calculi, languages;
- formal methods and modeling languages for components and services;
- (behavioral) type systems for components and services;
- models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services;
- rigorous model-based analysis;
- components for real-time, safety-critical, secure, and/or embedded systems;
- components for the Internet of things and cyber-physical systems;
- artificial intelligence and machine learning for components and services;
- 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 and Publication
We solicit submissions related to the topics mentioned above in the following categories:
- full papers: original research, applications and experiences, surveys (16 pages max, excluding references);
- short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references).
Paper submission is done via EasyChair at:
All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity.
The proceedings of FACS 2021 will be published as a volume of LNCS. All accepted papers will be published in this LNCS volume. 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.
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 International Journal on Software and Systems Modeling (SoSyM).