posted by organizer: nadeemabbas || 990 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle

Link: https://faacs-workshop.github.io/2024/
 
When Jun 4, 2024 - Jun 5, 2024
Where IIIT Hyderabad, India
Submission Deadline Feb 18, 2024
Notification Due Mar 17, 2024
Final Version Due Mar 31, 2024
Categories    software architecture   formal methods   validation and verification   generative ai
 

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.
Web: https://faacs-workshop.github.io/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, (nadeem.abbas@lnu.se)
– Livia Lestingi, Politecnico di Milano, Italy, (livia.lestingi@polimi.it)
– Patrizia Scandurra, University of Bergamo, Italy, (patrizia.scandurra@unibg.it)

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

Related Resources

SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
BDAB 2025   6th International Conference on Big Data and Blockchain
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
IJIST 2024   International Journal of Information Sciences and Techniques
WCSE--EI 2025   2025 The 15th International Workshop on Computer Science and Engineering (WCSE 2025)
IEEE-JBHI (SI) 2024   Special Issue on Revolutionizing Healthcare Informatics with Generative AI: Innovations and Implications
HPCCT--ESCI 2025   2025 the 9th High Performance Computing and Cluster Technologies Conference (HPCCT 2025)--ESCI
ACDL 2025   8th Advanced Course on Data Science & Machine Learning
GEOProcessing 2025   The Seventeenth International Conference on Advanced Geographic Information Systems, Applications, and Services
TASE 2025   19th International Symposium on Theoretical Aspects of Software Engineering