FAACS 2024 : The 8th International Workshop on Formal Approaches for Advanced Computing Systems
FAACS 2024 : The 8th International Workshop on Formal Approaches for Advanced Computing Systems

FAACS 2024 : The 8th International Workshop on Formal Approaches for Advanced Computing Systems

IIIT Hyderabad, India
Event Date: June 04, 2024 - June 05, 2024
Submission Deadline: February 18, 2024
Notification of Acceptance: March 17, 2024
Camera Ready Version Due: March 31, 2024

Call for Papers

The 8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024), co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024), will be held in IIIT Hyderabad, India June 4-8, 2024.

Important Dates:
– Submission Deadline: February 18, 2024
– Notification of Papers: March 17, 2024
– Camera Ready: March 31, 2024
– Workshop Date: June 4 – 5, 2024

*** Motivation and Scope ***
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 goal of the workshop is to foster integration between formal methods and software architecture promoting new connections and synergies between the two communities to address the challenges of the upcoming generation of computing systems. 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.

*** Topics of Interest include (but are not limited to) the following: ***
– requirements formalization and formal specification, with or without the use of generative AI;
– 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, viewpoints 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;
– use of generative AI for aforementioned areas
– reports on practical experience in the application of formal methods to industrial case studies.

*** Types of Papers ***
FAACS 2024 solicits:
– Full papers (Max 8 pages including references): original research contributions, case studies, or report on work or experiences in industry;
– Short papers (Max 4 pages including references): work-in-progress, new and emerging ideas, techniques and/or tools or extensions not fully validated yet, or outstanding challenges along with possible approaches for resolving them.

*** Best Paper Award ***
Based on the reviews and PC discussion, up to two papers will be selected for the Best Paper Award.

*** Submission ***
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.

Panel Discussion
We are planning to have an expert panel session related to above specified topics of interest. Please contact the program co-chairs if you are interested in joining the expert panel or would like to nominate someone who you would like to be part of the expert panel.

Program Co-chairs
– Nadeem Abbas, Linnaeus University, Sweden, ([email protected])
– Livia Lestingi, Politecnico di Milano, Italy, ([email protected])
– Patrizia Scandurra, University of Bergamo, Italy, ([email protected])

Steering Committee
– Paolo Arcaini, National Institute of Informatics, Japan
– Matteo Camilli, Free University of Bozen-Bolzano, Italy
– Marina Mongiello, Politecnico di Bari, Italy
– Elvinia Riccobene, University of Milan, Italy
– Patrizia Scandurra, University of Bergamo, Italy


FAACS 2024 : The 8th International Workshop on Formal Approaches for Advanced Computing Systems will take place in IIIT Hyderabad, India. It’s a 2 days event starting on Jun 4, 2024 (Tuesday) and will be winded up on Jun 5, 2024 (Wednesday).

FAACS 2024 falls under the following areas: SOFTWARE ARCHITECTURE, FORMAL METHODS, VALIDATION AND VERIFICATION, GENERATIVE AI, etc. Submissions for this Workshop can be made by Feb 18, 2024. Authors can expect the result of submission by Mar 17, 2024. Upon acceptance, authors should submit the final version of the manuscript on or before Mar 31, 2024 to the official website of the Workshop.

Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines.

Other Details of the FAACS 2024

  • Short Name: FAACS 2024
  • Full Name: The 8th International Workshop on Formal Approaches for Advanced Computing Systems
  • Timing: 09:00 AM-06:00 PM (expected)
  • Fees: Check the official website of FAACS 2024
  • Event Type: Workshop
  • Website Link:
  • Location/Address: IIIT Hyderabad, India

Credits and Sources

[1] FAACS 2024 : The 8th International Workshop on Formal Approaches for Advanced Computing Systems

Check other Conferences, Workshops, Seminars, and Events


IT-Tage 2024: IT-Tage - IT-Konferenz für Software-Entwicklung, -Architektur, KI, Datenbanken, DevOps, Agile und Management
Frankfurt am Main
Dec 9, 2024
ICSOFT 2024: 19th International Conference on Software Technologies
Dijon, France
Jul 8, 2024
ECSA 2024: 18th European Conference on Software Architecture (ECSA)
Sep 2, 2024
SOENG 2024: 10th International Conference on Software Engineering
Sydney, Australia
Jun 22, 2024
IJSPTM 2024: International Journal of Security, Privacy and Trust Management


ICFEM 2024: International Conference on Formal Engineering Methods
Hiroshima , Japan
Dec 2, 2024
AFMAS 2024: Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
SIMULTECH 2024: 14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Dijon, France
Jul 10, 2024
FMICS 2024: 29th International Conference on Formal Methods for Industrial Critical Systems
Sep 9, 2024
SEC 2024: 10th International Conference on Software Engineering
Melbourne, Australia
Apr 20, 2024


SS-GAIMHS 2024: Special Session on Generative AI for Medical and Healthcare System
Paris, France
Jun 26, 2024
Gen AI in Finance SI PDW 2024: Generative AI in Finance SI Paper Development Workshop
Jul 7, 2024
IEEE-JBHI (SI) 2024: Special Issue on Revolutionizing Healthcare Informatics with Generative AI: Innovations and Implications
TCCN SI 2024: Generative AI for Next-Generation Networks and Communication: Challenges and Solutions
AI-DCS 2024: The 1st IEEE International Workshop on Generative, Incremental, Adversarial, Explainable AI/ML in Distributed Computing Systems
Jersey City, New Jersey (USA)
Jul 23, 2024