posted by user: sadegh_rk || 2090 views || tracked by 1 users: [display]

FAACS 2022 : 6th International Workshop on Formal Approaches for Advanced Computing Systems


When Sep 19, 2022 - Sep 20, 2022
Where Prague, Czechia
Submission Deadline Jul 1, 2022
Notification Due Jul 29, 2022
Final Version Due Aug 5, 2022
Categories    formal methods   verification   software engineering

Call For Papers


The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of new technologies (e.g., IoT connectivity, digitalization, and smart devices) and complex computational models (e.g., autonomic, adaptive computing, and artificial intelligence). Many approaches used nowadays to develop such large, complex, advanced software systems are still not able to ensure the correctness and dependability of the delivered products. Emerging technologies and methodologies gain great popularity while some of their aspects are developed ad-hoc, not rigorously, due to the lack of more formal approaches. Nevertheless, unreliable or unpredictable behavior, such as threats to confidentiality and even financial or health danger, cannot be tolerated as society increasingly depends on them. Assuring safety, security, privacy, performance, trustworthiness and other important qualities of such systems currently represents a challenge that calls for novel rigorous and formal approaches to system design, development, validation, and verification. Indeed, in the digitalized era where physical artifacts are controlled by their Digital Twins, unexpected exposure of users to unwanted behaviors is highly undesirable.

The goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two research communities in order to address the challenges of the upcoming generation of computing systems.



Areas of interest include, but are not limited to:

- requirements formalization and formal specification
- formal/semi-formal architecture design, validation and verification, quality analysis and evaluation
- formal/semi-formal approaches to digitalization, development of digital society and Digital Twins
- methodologies and approaches focusing on addressing challenges of modern computing systems that are currently addressed ad-hoc
- architecture description languages and metamodels
- architectural patterns, styles and tactics, view-points and views
- architecture transformation and refinement, architecture based synthesis
- model-driven engineering
- approaches and tools for verification and validation
- performance analysis based on formal approaches
- compliance assurance using formal methods
- application of methodologies, theories, approaches and techniques specific to the aforementioned areas to AI-based, autonomous, robotic, cyber-physical, and self-adaptive systems
- reports on practical experience in the application of formal methods to industrial case studies


Submissions must follow the LNCS style ( All papers should be submitted before the submission deadline using the online submission site: EasyChair FAACS 2022 Workshop.

We solicit the following contribution types:

* Full paper (12 pages + 2 extra pages for references): original research contributions, case studies, or report on work or experiences in industry.
* Short papers (8 pages + 2 extra pages for references): work-in-progress, new and disruptive ideas, techniques and/or tools or extensions not fully validated yet.

Submission link:

ECSA 2022 will use a two-step process for workshop proceedings. Online proceedings (available before the start of the conference) will include all the accepted papers of the workshops and will be published online on the ECSA 2022 web page (no proceedings). The accepted papers will be accessible only by the ECSA 2022 workshop participants and the format should conform to LNCS style. After the conference, we will organise post-proceedings of selected and extended papers of workshops that will be published in a Springer LNCS volume (up to 16 pages). Workshop papers submitted for the post-proceedings will undergo a minor revision cycle where the extensions with respect to the workshop versions will be checked by the reviewers.

- Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
- Paolo Arcaini, National Institute of Informatics, Japan
- Marcello M. Bersani, Politecnico di Milano, Italy
- Chiara Braghin, University of Milan, Italy
- Radu Calinescu, University of York, UK
- Matteo Camilli, Free University of Bozen-Bolzano, Italy
- Antonio Filieri, Imperial College, UK
- Stefan Hallerstede, Aarhus University, Denmark
- Jan Kofron, Charles University, Czech Republic
- Claudio Menghi, McMaster University, Canada
- Pedro Ribeiro, University of York, UK
- Catia Trubiani, Gran Sasso Science Institute, Italy

- Silvia Bonfanti, University of Bergamo, Bergamo, Italy (
- Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Tsukuba, Japan (
- Diego Perez-Palacin, Linnaeus University, Växjö, Sweden (


The workshop is co-located with the 16th European Conference on Software Architecture (ECSA 2022) and it will be held hybrid, the physical venue will be in Prague, Czech Republic.

You can contact the organizers for further questions at:

For more information, visit:

Related Resources

FAACS 2023   The 7th International Workshop on Formal Approaches for Advanced Computing Systems
IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -EI Compendex
ICAUAS 2024   2024 International Conference on Advanced Unmanned Aerial Systems (ICAUAS 2024)
CGDEIJ 2023   Computer Game Development and Education: An International Journal
ICICCS 2024   8th International Conference on Intelligent Computing and Control Systems
ICMLT 2024   2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
DCOSS-IoT 2024   The 20th Annual International Conference on Distributed Computing in Smart Systems and the Internet of Things (DCOSS-IoT 2024)
IEEE ICCC 2023   IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)
IEEE ICIT 2024   25th IEEE International Conference on Industrial Technology
ICCTA 2024   2024 10th International Conference on Computer Technology Applications (ICCTA 2024)