[DBWorld] [FAACS @ ECSA 2021] [2nd CfP] Formal Approaches for Advanced Computing Systems

[We apologize for multiple posting]

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D
FAACS @ ECSA 2021, Call for papers
https://faacs-workshop.github.io/2021/
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D

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

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

IMPORTANT DATES
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
- Abstract submission: June 21, 2021
- Paper submission: June 25, 2021
- Author notification: July 16, 2021
- Camera-ready version: July 29, 2021
- Workshop date: September 13 or 14, 2021 (TBD)


MOTIVATION AND SCOPE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Advanced computing systems are increasingly adopted to generate productivit=
y gains, improve well-being and help experts to address challenges in vario=
us application domains, including mobility, healthcare, cyber-security, ind=
ustrial robots, autonomous vehicles, cloud-based services, and IoT. Such sy=
stems often operate in dynamic, highly complex, partially observable enviro=
nments and they are affected by external uncertainty as well as internal un=
certainty, very often due to =E2=80=9Cintelligent=E2=80=9D and =E2=80=9Clea=
rning=E2=80=9D components that are becoming established and effective for m=
aking predictions, recommendations or decisions that influence the surround=
ings. As a consequence, the design and development of these systems require=
 proper approaches, methodologies, abstractions and architectural design so=
lutions integrating together heterogeneous elements such as networking, com=
putation, engineered physical elements, AI/ML components, and human beings =
into complex ecosystems. Assuring depe!
 ndability
 , trustworthiness and other important qualities of such systems yield chal=
lenges that call for novel and formal approaches to system design, developm=
ent, 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 an=
d software architectures, which allows for promoting new connections and sy=
nergies between the two research communities. An integrated research will h=
elp them address the challenges of the upcoming generation of advanced comp=
uting systems in the modern digital society.


LIST OF TOPICS
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
We especially encourage contributions describing application of formal appr=
oaches to engineering AI-based systems.

Besides the special interest of this edition, the call is open to all the a=
reas reported below and applied to engineer advanced systems in different c=
ontexts and domains (e.g., IoT, robotic systems, cyber-physical systems, au=
tonomic 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, qual=
ity 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 softwa=
re 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 i=
ndustrial case studies


SUBMISSION GUIDELINES
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Submissions must follow the two-column CEUR-ART style (http://ceur-ws.org/V=
ol-XXX/CEURART.zip). All papers should be submitted before the submission d=
eadline 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 resear=
ch contributions, case studies, or report on work or experiences in industr=
y;
- SHORT papers (5 pages including references): work-in-progress, new and di=
sruptive ideas, techniques and/or tools (or extensions) not fully validated=
 yet.

Submission link: https://easychair.org/conferences/?conf=3Dfaacs2021

ECSA 2021 will use a two-step process for workshop proceedings. Online proc=
eedings (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 (http://ceur-ws.org). After the conference, we will organize post-proc=
eedings 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.


PROGRAM COMMITTEE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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=C3=A1mara, 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=C3=A9 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


ORGANIZING COMMITTEE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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, Vaxjo, Sweden


VENUE
=3D=3D=3D=3D=3D=3D
The workshop is co-located with the 15th European Conference on Software Ar=
chitecture (ECSA 2021) and it will be held virtually. Originally, Vaxjo, Sw=
eden.


CONTACT
=3D=3D=3D=3D=3D=3D=3D=3D
All questions about submissions should be emailed to: [email protected]=
rg
_______________________________________________
Please do not post msgs that are not relevant to the database community at =
large.  Go to www.cs.wisc.edu/dbworld for guidelines and posting forms.
To unsubscribe, go to https://lists.cs.wisc.edu/mailman/listinfo/dbworld