posted by organizer: matteocamilli || 2657 views || tracked by 3 users: [display]

FAACS @ ECSA 2021 : 5th International Workshop on Formal Approaches for Advanced Computing Systems


When Sep 13, 2021 - Sep 13, 2021
Where Vaxjo, Sweden (virtual)
Submission Deadline Jul 4, 2021
Notification Due Jul 23, 2021
Final Version Due Jul 29, 2021
Categories    formal methods   software engineering   software architecture   ai systems

Call For Papers

[We apologize for multiple posting]


5th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS),
co-located with the 15th European Conference on Software Architecture (ECSA 2021).

**Special interest in formal approaches for AI-based systems**

- Paper submission: July 4, 2021
- Author notification: July 23, 2021
- Camera-ready version: July 29, 2021
- Workshop date: September 13 or 14, 2021 (TBD)

Advanced computing systems are increasingly adopted to generate productivity gains, improve well-being and help experts to address challenges in various application domains, including mobility, healthcare, cyber-security, industrial robots, autonomous vehicles, cloud-based services, and IoT. Such systems often operate in dynamic, highly complex, partially observable environments and they are affected by external uncertainty as well as internal uncertainty, very often due to “intelligent” and “learning” components that are becoming established and effective for making predictions, recommendations or decisions that influence the surroundings. As a consequence, the design and development of these systems require proper approaches, methodologies, abstractions and architectural design solutions integrating together heterogeneous elements such as networking, computation, engineered physical elements, AI/ML components, and human beings into complex ecosystems. Assuring dependability, trustworthiness and other important qualities of such systems yield challenges that call for novel and formal approaches to system design, development, validation, and verification. Indeed, an unexpected exposure of users to unwanted behaviors, such as threats to confidentiality or even financial or health danger, is highly undesirable.

The goal of the workshop is to foster integration between formal methods and software architectures, which allows for promoting new connections and synergies between the two research communities. An integrated research will help them address the challenges of the upcoming generation of advanced computing systems in the modern digital society.

We especially encourage contributions describing application of formal approaches to engineering AI-based systems.

Besides the special interest of this edition, the call is open to all the areas reported below and applied to engineer advanced systems in different contexts and domains (e.g., IoT, robotic systems, cyber-physical systems, autonomic computing, service-based systems, reconfigurable and self-adaptive systems, mobile and cloud applications). 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
- architecture description languages and metamodels
- architectural patterns, styles and tactics, view-points and views
- architecture transformation and refinement, architecture based synthesis
- integration of formal/semi-formal methods and architecture-centric software engineering
- software architecture tactics to integrate formal methods
- formal methods applied to software architecture
- model-driven engineering
- approaches and tools for verification and validation
- performance analysis based on formal approaches
- compliance assurance using formal methods
- reports on practical experience in the application of formal methods to industrial case studies

Submissions must follow the two-column CEUR-ART style ( All papers should be submitted before the submission deadline using the online submission site: EasyChair FAACS 2021 Workshop.

We solicit the following contribution types:
- REGULAR papers (from 8 to 10 pages including references): original research contributions, case studies, or report on work or experiences in industry;
- SHORT papers (5 pages including references): work-in-progress, new and disruptive ideas, techniques and/or tools (or extensions) not fully validated yet.

Submission link:

ECSA 2021 will use a two-step process for workshop proceedings. Online proceedings (available before the start of the conference) will include all the accepted papers (5 to 10 pages) of the workshops and will be published at CEUR ( After the conference, we will organize post-proceedings of selected and extended papers of workshops that will be published in a Springer LNCS volume (16 to 18 pages). Workshop papers submitted for the post-proceedings will undergo an additional review cycle.

Sanaa Alwidian, University of Ottawa, Canada
Paolo Arcaini, National Institute of Informatics, Japan
Georg Buchgeher, Software Competence Center Hagenberg, Austria
Radu Calinescu, University of York, UK
Stephanie Challita, University of Rennes, France
Javier Cámara, University of York, UK
Stefan Hallerstede, Aarhus University, Denmark
Einar Broch Johnsen, University of Oslo, Norway
Sungwon Kang, Korea Advanced Institute of Science and Technology, Republic of Korea
Anastasia Mavridou, NASA Ames Research Center, USA
Claudio Menghi, University of Luxemburg, Luxemburg
José Merseguer, University of Zaragoza, Spain
Henry Muccini, University of L'Aquila, Italy
Jose Ignacio Requeno, Complutense University of Madrid, Spain
Pedro Ribeiro, University of York, UK
Elvinia Riccobene, University of Milan, Italy
Lionel Seinturier, University of Lille, France
paola Spoletini, Kennesaw State University, USA
Catia Trubiani, Gran Sasso Science Institute, Italy
Christos Tsigkanos, Vienna University of Technology, Austria

Marcello Bersani, Politecnico di Milano, Milan, Italy
Matteo Camilli, Free University of Bozen-Bolzano, Italy
Tsutomu Kobayashi, National Institute of Informatics, Tokyo, Japan
Diego Perez-Palacin, Linnaeus University, Växjö, Sweden

The workshop is co-located with the 15th European Conference on Software Architecture (ECSA 2021) and it will be held virtually. Originally, Växjö, Sweden.

All questions about submissions should be emailed to:

Related Resources

ECSA 2024   18th European Conference on Software Architecture (ECSA)
Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
FAACS 2024   The 8th International Workshop on Formal Approaches for Advanced Computing Systems
MLDS 2024   5th International Conference on Machine Learning Techniques and Data Science
IEEE-Ei/Scopus-ACEPE 2024   2024 IEEE Asia Conference on Advances in Electrical and Power Engineering (ACEPE 2024) -Ei Compendex
DSA 2024   5th International Conference on Data Science and Applications
IEEE-Ei/Scopus-SGGEA 2024   2024 Asia Conference on Smart Grid, Green Energy and Applications (SGGEA 2024) -EI Compendex
ACM MLMI 2024   ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
ICBICC 2024   2024 International Conference on Big Data, IoT, and Cloud Computing (ICBICC 2024)
CSIA 2024   15th International Conference on Communications Security & Information Assurance