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

+---------------------------------------------------------------------+
| 21st Track on Dependable, Adaptive, and Secure Distributed Systems |
| (DADS) of the 41st ACM Symposium on Applied Computing (SAC'25) |
+---------------------------------------------------------------------+

March 23-27, 2026
Thessaloniki, Greece

https://dedisys.org/sac26/
https://www.sigapp.org/sac/sac2026/

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

Important Dates:
Paper submission: September 26, 2025
author notification: October 31, 2025
Camera-ready copies: December 5, 2025

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/sac26/. 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, microservices, NewSQL, blockchains) suffer from a lack of dependability and security, which is fueled by global scale and AI usage.

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 data stores, redundancy and replication, group communication, transactions, reliable middleware, cloud infrastructures, microservice mashups, light-weight virtualization (docker), and trustworthy service-oriented and microservice architectures with explicit control of quality of service 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). Finally large language models are increasingly used in engineering but pose their own unique challenges for dependability and security, e.g., hallucination, bias, accuracy, privacy, scalability, cost-efficiency.

Topics of interest
==================
* Dependable, Adaptive, and Secure Distributed Systems (DADS)
* Large Language Models (LLM) and AI for 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@dedisys.org)
Matti Hiltunen, AT&T Labs (USA)
Rui Oliveira, Universidade do Minho (Portugal)