The 6th edition of the international workshop on Formal Approaches for Advanced Computing Systems (FAACS 2022) is co-located with the 16th European Conference on Software Architecture (ECSA). It will be held hybrid, the physical venue will be in Prague, Czech Republic, September 19 or 20, 2022.
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.
Submissions must follow the LNCS style . All papers should be submitted before the submission deadline (see below) using the online submission site: EasyChair FAACS 2022 Workshop.
We solicit the following contribution types:
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.