SSS 2025: Call for Papers

The 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2025) is an international forum for researchers and practitioners in the design and development of distributed systems. The focus is on systems that can provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

Dates

• October 9-11, 2025

Venue

• Kathmandu, Nepal
• Event Venue: Aloft Hotel Kathmandu

About SSS 2025

SSS 2025 aims to foster the exchange of original contributions on both fundamental research and practical applications concerning topics in the symposium tracks.

Symposium Tracks

Track A. Stabilization and Locality in Distributed Computing

• Stabilizing Systems
• Proof labelling schemes
• Graph Algorithms
• Graph-theoretic concepts for communication networks
• Social and Peer-to-Peer Networks
• LOCAL/CONGEST models
• Communication complexity
• Game-theory and economical aspects of distributed computing
• Dynamic networks, time-varying graphs, evolving graphs

Track B. Time, Safety, and Security in Distributed Computing

• Concurrent and fault-tolerant algorithms
• Synchronization protocols
• Shared and transactional memory
• Blockchain technologies and cryptocurrencies
• Formal methods, semantics and verification of distributed systems
• Secure multi-party computation and cryptographic distributed protocols
• Privacy-enhancing technologies and anonymity
• Post-quantum and information theoretic cryptography and security

Track C. Moving and Computing

• Mobile agents
• Autonomous mobile robots
• Mobile sensor networks
• Mobile ad-hoc networks
• Population protocols
• Nature-inspired computing
• Programmable particles, nanoscale robots, biological systems, and related new models

New Conference Model

SSS 2025 adopts a new conference model with THREE non-overlapping deadlines and submission rounds. Papers rejected in earlier rounds may be reworked and resubmitted to later rounds. Reviews from previous rounds will be transmitted to reviewers for resubmissions.

Paper Submission

• Papers are to be submitted electronically through EasyChair.
• All submissions must conform to the formatting instructions of Springer LNCS series.
• Each submission must be an original work written in English, in PDF format.

Double-blind Review

All submissions must be anonymous. While authors are free to disseminate their work (e.g., via arXiv) and present it, they must ensure that their name or affiliation is not mentioned in the submission, and that references do not inadvertently reveal their identity.

Submissions Types

• Regular papers: Must not exceed 15 pages (excluding references, with an appendix allowed for necessary details).
• Brief announcements: Must not exceed 5 pages (including everything).
• Submissions deviating from these guidelines will be rejected.
• For the third round only, rejected regular papers can be considered for brief announcements upon author request.

Publication

• Regular papers and brief announcements will be included in the conference proceedings published by Springer in the LNCS conference series.
• Extended and revised versions of selected papers will be considered for a special issue of Theoretical Computer Science (Elsevier).

Paper Award

Prizes will be awarded for the best regular paper and the best student regular paper.

Important Dates

First Deadline

• Paper Submission Deadline: March 21, 2025 (11:59 PM AoE)
• Acceptance Notification: April 30, 2025
• Camera-Ready Copy Due: May 30, 2025

Second Deadline

• Paper Submission Deadline: May 15, 2025 (11:59 PM AoE)
• Acceptance Notification: June 30, 2025
• Camera-Ready Copy Due: July 15, 2025

Third Deadline

• Paper Submission Deadline: July 15, 2025 (11:59 PM AoE)
• Acceptance Notification: August 30, 2025
• Camera-Ready Copy Due: September 10, 2025

Contact Us

• Email: Sebastien Tixeuil