FACS: Formal Aspects of Component Software



Past:   Proceedings on DBLP

Future:  Post a CFP for 2022 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
FACS 2021 Formal Aspects of Component Software
Oct 28, 2021 - Oct 29, 2021 Virtual/Online Jul 16, 2021 (Jul 9, 2021)
FACS 2019 Formal Aspects of Component Software
Oct 23, 2019 - Oct 25, 2019 Amsterdam Jul 12, 2019 (Jul 5, 2019)
FACS 2018 15th International Conference on Formal Aspects of Component Software
Oct 10, 2018 - Oct 12, 2018 Pohang, Korea Jun 25, 2018
FACS 2017 14th International Conference on Formal Aspects of Component Software
Oct 10, 2017 - Oct 13, 2017 Braga, Portugal May 26, 2017 (May 19, 2017)
FACS 2016 International Conference on Formal Aspects of Component Software
Oct 19, 2016 - Oct 21, 2016 Besançon, France Jul 1, 2016
FACS 2015 12th International Conference on Formal Aspects of Component Software
Oct 14, 2015 - Oct 16, 2015 Rio de Janeiro Jul 12, 2015
FACS 2014 11th International Symposium on Formal Aspects of Component Software
Sep 10, 2014 - Sep 12, 2014 Bertinoro, Italy Jun 16, 2014 (Jun 9, 2014)
FACS 2013 The 10th International Symposium on Formal Aspects of Component Software
Oct 28, 2013 - Oct 30, 2013 Nanchang, China Jul 15, 2013 (Jul 8, 2013)
FACS 2012 9th International Symposium on Formal Aspects of Component Software
Sep 12, 2012 - Sep 14, 2012 Mountain View, USA Jun 15, 2012 (Jun 8, 2012)
FACS 2010 7th International Workshop on Formal Aspects of Component Software
Oct 14, 2010 - Oct 16, 2010 Guimarães, Portugal Jul 9, 2010 (Jul 2, 2010)

Present CFP : 2021

** Final Call for Papers: FACS 2021
** 17th International Conference on Formal Aspects of Component Software
** Virtual Event
** https://facs2021.inria.fr


Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones.

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.


* Radu Calinescu (University of York, UK)
* Corina Pasareanu (NASA Ames, CMU, USA)


* Abstract: July 9, 2021 (extended)
* Paper: July 16, 2021 (extended)
* Notification: August 20, 2021
* Conference: October 28-29, 2021

All deadlines are 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;
* components for real-time, safety-critical, secure, and/or embedded systems;
* rigorous model-based analysis;
* 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.


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 special issue of the International Journal on Software and Systems Modeling (SoSyM).


Gwen Salaün, University Grenoble Alpes, France
Anton Wijs, Eindhoven University of Technology, The Netherlands


Kyungmin Bae, Pohang University of Science and Technology, Korea
Christel Baier, TU Dresden, Germany
Luís Soares Barbosa, University of Minho, Portugal,
Simon Bliudze, Inria Lille, France
Javier Camara, University of York, UK
Francisco Duran, University of Malaga, Spain
Fatemeh Ghassemi, University of Tehran, Iran
Sung-Shik Jongmans, Open University and CWI, the Netherlands
Olga Kouchnarenko, University of Franche-Comté, France
Alfons Laarman, Leiden University, The Netherlands
Ivan Lanese, University of Bologna, Italy
Zhiming Liu, Southwest University, China
Alberto Lluch-Lafuente, Technical University of Denmark, Denmark
Markus Lumpe, Swinburne University of Technology, Australia
Eric Madelaine, Inria Sophia Antipolis, France
Mieke Massink, CNR ISTI, Italy
Hernán Melgratti, University of Buenos Aires, Argentina
Fabrizio Montesi, University of Southern Denmark
Peter Csaba Ölveczky, University of Oslo, Norway
Jun Pang, University of Luxembourg
José Proença, CISTER, Portugal
Jorge Pérez, University of Groningen, The Netherlands
Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia
Gwen Salaün, Université Grenoble Alpes, France
Ana Sokolova, University of Salzburg, Austria
Jacopo Soldani, University of Pisa, Italy
Anton Wijs, Eindhoven University of Technology, The Netherlands
Shoji Yuen, Nagoya University, Japan

Related Resources

CAIML 2022   3rd International Conference on Artificial Intelligence and Machine Learning
ICAASE 2022   The 5th International Conference on Advanced Aspects of Software Engineering
ACM--ICMLT--Ei and Scopus 2022   ACM--2022 7th International Conference on Machine Learning Technologies (ICMLT 2022)--Ei Compendex, Scopus
ICTAC 2021   18th International Colloquium on Theoretical Aspects of Computing
ACM--ICMLSC--EI Compendex, Scopus 2022   ACM--2022 The 6th International Conference on Machine Learning and Soft Computing (ICMLSC 2022)--Ei compendex, scopus
ICSR 2022   20th International Conference on Software and Systems Reuse
FM 2021   Formal Methods 2021
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering
ICCSEA 2021   11th International Conference on Computer Science, Engineering and Applications
The Experience of Pain 2021   The Experience Of Pain. Epistemological, Hermeneutical And Ontological Aspects, Ed. By Luca Vanzago