The 8th edition of the international workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024) is co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024). It will be held in Hyderabad, India June 4-8, 2024.
Cutting-edge technologies, infrastructures, and computational paradigms such as digital twin, cloud, fog, edge computing, IoT, digitalization, Industry 5.0, and cyber-physical systems are changing how data and services are delivered and used. Such systems have a significant and elaborate societal impact, making it paramount to guarantee essential qualities of the delivered product, such as dependability, reliability, safety, and availability. As new paradigms become pervasive in our everyday lives, new challenges also emerge in dealing with uncertainty, untrustworthiness, and information loss, affecting the software life cycle in different phases. Ensuring critical qualities requires a joint effort in devising advanced software architecture designs by the software architecture community and formal modeling and verification approaches by the formal methods community.
The main objective of FAACS is to strengthen the linkage between the formal methods and the software architecture communities and stimulate researchers to share novel ideas and lessons learned from industrial and academic experts from various application domains and software disciplines. Aligned with the theme of the ICSA 2024, we welcome contributions on the potential and risks of generative AI in developing advanced software architectures and ensuring qualities like dependability, reliability, safety, and availability through formal modeling and verification.
All submissions will follow the IEEE Computer Science proceedings format. Submitted papers must be written in English and conform to the the IEEE Guidelines including the guidelines for AI-Generated text. Submissions must be done before the deadline in PDF format via via the EasyChair submission system.
We solicit the following contribution types:
All accepted papers will be published in ICSA 2024 Companion proceedings, and appear in IEEE Xplore Digital Library.