[We apologize for multiple posting]
==============================
FAACS @ ECSA 2022, Call for papers
https://faacs-workshop.github.io/2022/
==============================
The 6th International Workshop on Formal Approaches for Advanced
Computing Systems (FAACS),
Co-located with the 16th European Conference on Software Architecture
(ECSA 2022).
IMPORTANT DATES
================
- Paper submission: July 1, 2022
- Author notification: July 29, 2022
- Camera-ready version: August 5, 2022
- Workshop date: September 19 or 20, 2022 (TBD)
MOTIVATION AND SCOPE
=====================
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.
LIST OF TOPICS
==============
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
- 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, view-points 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
- reports on practical experience in the application of formal methods
to industrial case studies
SUBMISSION GUIDELINES
======================
Submissions must follow the LNCS style
(https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines).
All papers should be submitted before the submission deadline using the
online submission site: EasyChair FAACS 2022 Workshop.
We solicit the following contribution types:
- Full paper (12 pages + 2 extra pages for references): original
research contributions, case studies, or report on work or experiences
in industry.
- Short papers (8 pages + 2 extra pages for references):
work-in-progress, new and disruptive ideas, techniques and/or tools or
extensions not fully validated yet.
Submission link: https://easychair.org/conferences/?conf=faacs2022
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.
PROGRAM COMMITTEE
============================
Yamine Ait Ameur, IRIT/INPT-ENSEEIHT, France
Paolo Arcaini, National Institute of Informatics, Japan
Marcello M. Bersani, Politecnico di Milano, Italy
Chiara Braghin, University of Milan, Italy
Radu Calinescu, University of York, UK
Matteo Camilli, Free University of Bozen-Bolzano, Italy
Antonio Filieri, Imperial College, UK
Stefan Hallerstede, Aarhus University, Denmark
Jan Kofron, Charles University, Czech Republic
Claudio Menghi, McMaster University, Canada
Pedro Ribeiro, University of York, UK
Catia Trubiani, Gran Sasso Science Institute, Italy
ORGANIZING COMMITTEE
======================
Silvia Bonfanti, University of Bergamo, Bergamo, Italy
Tsutomu Kobayashi, Japan Aerospace Exploration Agency, Tsukuba, Japan
Diego Perez-Palacin, Linnaeus University, Växjö, Sweden
VENUE
======
The workshop is co-located with the 16th European Conference on Software
Architecture (ECSA 2022) and it will be held hybrid, the physical venue
will be in Prague, Czech Republic.
CONTACT
========
You can contact the organizers for further questions at:
[email protected] [email protected] [email protected]
==============================================
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
