[hpc-announce] ACM Dependable, Adaptive, and Secure Distributed Systems

[Karl M. Goeschka]

FINAL CALL FOR PAPERS
=====================

+---------------------------------------------------------------------+
| 18th Track on Dependable, Adaptive, and Secure Distributed Systems  |
| (DADS) of the 38th ACM Symposium on Applied Computing (SAC'23)      |
+---------------------------------------------------------------------+

March 27 - April 2, 2023
Tallinn, Estonia
http://www.dedisys.org/sac23/
https://www.sigapp.org/sac/sac2023/

Accepted papers will be published in the ACM conference proceedings and 
will be included in the ACM digital library.

Important Dates:
Paper submission: October 15, 2022 (extended)
Author notification: November 26, 2022
Camera-ready copies: December 6, 2022

Authors are invited to submit original work not previously published, 
nor currently submitted elsewhere. Authors submit full papers in pdf 
format using the link to the submission site at 
http://www.dedisys.org/sac23/. Authors are allowed up to 10 pages, but 
with more than 8 pages in the final camera ready, there will be a charge 
of 80USD per extra page.

Call details
============
While computing is provided by the cloud and services increasingly 
pervade our daily lives, dependability, adaptiveness and security become 
a cornerstone of the information society. Unfortunately, most innovative 
systems and applications (Internet of Things, Industrial IoT, Smart 
Environments, Mashups, NewSQL) suffer from a lack of dependability and 
security, which is fueled by global scale, mobility and heterogeneity, 
as well as the demand for resource awareness, green computing, and 
increasing cost pressure.

Among technical factors, software development methods, tools, and 
techniques contribute to dependability and security, as defects in 
software products and services may lead to failure and also provide 
typical access for malicious attacks. In addition, there is a wide 
variety of fault and intrusion tolerance techniques available, including 
persistence provided by databases, redundancy and replication, group 
communication, transaction monitors, reliable middleware, cloud 
infrastructures, light-weight virtualization (docker), 
fragmentation-redundancy-scattering, and trustworthy service-oriented 
and microservice architectures with explicit control of quality of 
service properties and monitoring of service level agreements.

Furthermore, adaptiveness is envisaged in order to react to observed, or 
act upon expected changes of the system itself, the context/environment 
(e.g., resource variability or failure/threat scenarios) or users' needs 
and expectations. Provided without explicit user intervention, this is 
also termed autonomous behavior or self-properties, and often involves 
monitoring, diagnosis (analysis, interpretation), and reconfiguration 
(repair). In particular, adaptation is also a means to achieve 
dependability and security in a computing infrastructure with 
dynamically varying structure and properties and can itself be provided 
as a service (Control-as-a-service).

Topics of interest
==================
* Dependable, Adaptive, and Secure Distributed Systems (DADS)
* Architectures, architectural styles, and middleware for DADS
* Protocols for DADS
* Modeling, design, and engineering of DADS
* Foundations and formal methods for DADS
* Applications of DADS
* Evaluations, testing, benchmarking, and case studies of DADS
* Holistic aspects of DADS

Track program co-chairs
=======================
Karl M. Goeschka, Vienna University of Technology (Austria)
(main contact: dads at dedisys.org)
Matti Hiltunen, AT&T Labs (USA)
Rui Oliveira, Universidade do Minho (Portugal)

Program committee
=================

Filipe Araujo, University of Coimbra (Portugal)
Mikael Asplund , Linköping University (Sweden)
Jean Bacon, University of Cambridge (UK)
Alberto Bartoli, University of Trieste (Italy)
Alysson Bessani, Universidade de Lisboa (Portugal)
Andrea Bondavalli, University of Florence (Italy)
Antonio Casimiro, Universidade de Lisboa (Portugal)
Paulo Coelho, Federal University of Uberlandia (Brazil)
Mauro Conti, Universita di Padova (Italy)
Gianpaolo Cugola, Politecnico di Milano (Italy)
Shujie Cui, Monash University (Australia)
Rogerio De Lemos, University of Kent (UK)
Antonella Del Pozzo, CEA - LIST, Saclay (France)
Felicita Di Giandomenico, ISTI-CNR, Pisa (Italy)
Naranker Dulay, Imperial College London (UK)
Nikolaos Georgantas, INRIA (France)
Vincenzo Gulisano, Chalmers University (Sweden)
Alexandre Huff, Federal Technological University of Parana (Brazil)
Shanshan Jiang, SINTEF (Norway)
Ferhat Khendek, Concordia University (Canada)
Mikel Larrea, Euskal Herriko Unibersitatea (Spain)
Mark Little, JBoss (UK)
István Majzik, Budapest UTE. (Hungary)
Odorico Mendizabal, Federal University of Santa Catarina (Brazil)
Francesc Daniel Muñoz-Escoí, UP Valencia (Spain)
Marta Patiño-Martinez, UP Madrid (Spain)
Barry Porter, Lancaster University (UK)
Luís Rodrigues, INESC-ID/IST (Portugal)
Luigi Romano, University of Naples (Italy)
Alirio Sá, Federal University of Bahia (Brazil)
Valerio Schiavoni, Université de Neuchâtel (Switzerland)
Elad Schiller, Chalmers University (Sweden)
Marjan Sirjani, Malardalen University (Sweden)
Antonio Sousa, Universidade do Minho (Portugal)
Elena Troubitsyna, KTH Royal Institute of Technology (Sweden)
Eddy Truyen, Katholieke Universiteit Leuven (Belgium)
Luis Veiga, Technical University of Lisbon (Portugal)
Nicola Zannone, Technical University of Eindhoven (Netherlands)