The 27th International Symposium on Stabilization, Safety, and Security of Distributed Systems

October 9-11, Kathmandu, Nepal

About SSS 2025

About SSS 2025

SSS is an international forum for researchers and practitioners in the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

Where

Kathmandu, Nepal

When

9-11 October 2025

Event Venue

Event venue location info and gallery

Aloft Hotel Kathmandu

SSS 2024 will take place in Aloft Hotel Kathmandu.

Hotels

We have blocked rooms with discounted rates in the conference hotel for SSS participants. We will also provide a list of nearby alternative hotels for your stay, if you prefer to do so.

You can also find many hotels near the symposium site at hotel reservation web sites such as Expedia and Booking.com.

Important Dates

First Deadline

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

Second Deadline

  • Paper Submission Deadline: May 15, 2025 (11:59 PM AoE)
  • Acceptance Notification: June 30, 2025
  • Camera-Ready Copy Due: July 10, 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

Call for Papers

SSS is an international forum for researchers and practitioners in the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment. The symposium encourages submissions of original contributions on both fundamental research and practical applications concerning topics in the 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

We experiment with a new conference model. There will be THREE non-overlapping deadlines, and thus three submission rounds. Papers that are rejected at an early round (1 or 2) may be reworked, corrected, enhanced, and resubmitted at a later round (2 or 3), if wished by the authors. Of course, accepted papers at an early round are definitely accepted and should not be submitted again at a later round. In case of resubmission, reviews from the previously submitted round will be transmitted to the reviewers of the resubmission round.

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. We use a somewhat relaxed implementation of double-blind peer review: you are free to disseminate your work through arXiv and other online repositories and give presentations on your work as usual. However, please make sure you do not mention your own name or affiliation in the submission, and please do not include obvious references in the text that reveal your identity. A reviewer who has not previously seen the paper should be able to read it without accidentally learning the identities of the authors. Please feel free to ask the general co-chairs if you have any questions about the double-blind policy of SSS 2025.

Submissions

There are two types of submissions: regular papers and brief announcements.

  • A regular submission must not exceed 15 pages (including the title, abstract, figures, and excluding references). Additional necessary details for an expert to verify the main claims of the submission may be included in a clearly marked appendix if extra space is needed.
  • A brief announcement submission must not exceed 5 pages including everything.
Any submission deviating from these guidelines will be rejected without consideration of its merits. It is recommended that a regular submission begins with a succinct statement of the problem being addressed, a summary of the main results or conclusions, a brief explanation of their significance, a brief statement of the key ideas, and a comparison with related work, all tailored to a non-specialist. Technical development of the work, directed to the specialist, should follow. Papers outside of the conference scope will be rejected without review. For the third round only, if requested by the authors on the cover page, a regular submission that is not selected for a regular presentation will also be considered for the brief announcement format. This will not affect consideration of the paper for a regular presentation.

Publication

Regular papers and brief announcements will be included in the conference proceedings. Conference proceedings will be published by Springer in the LNCS conference series.

Special Issue

Extended and revised versions of selected papers will be considered for a special issue of an international journal (under negotiation).

Paper Award

Prizes will be given to the best regular paper and best student regular paper. A regular paper is eligible for the best student paper if at least one of its authors is a full-time student at submission time. Authors should clearly indicate whether their submission is eligible to be considered for the best student regular paper award (e.g., using a \thanks in the title). The PC may decline to confer awards or may split awards.

Organization

General Co-Chairs

  • Gokarna Sharma (Kent State University, USA)
  • Sébastien Tixeuil (Sorbonne Université, France)

Local Organization Committee

  • Shree Bhadra Wagle (Chair) (Kantipur Engineering College, Nepal)
  • Keshar Prasain (Kantipur Engineering College, Nepal)
  • Rabindra Khati (Kantipur Engineering College, Nepal)
  • Prahlad Chapagain (Kantipur Engineering College, Nepal)
  • Sahadeep Thapa (Kantipur Engineering College, Nepal)
  • Saroj Sharma (Kantipur Engineering College, Nepal)
  • Suman Shrestha (Kantipur Engineering College, Nepal)

Treasurer

  • Kamal Khadga (Kantipur Engineering College, Nepal)

Proceedings Chair

  • Pavan Poudel (University of Houston-Clear Lake, USA)

Registration Chair

  • Ramesh Adhikari (Augusta University, USA)

Steering Committee

  • Anish Arora (Ohio State University, USA)
  • Shlomi Dolev (Ben-Gurion University of the Negev, Israel)
  • Sayaka Kamei (Hiroshima University, Japan)
  • Sandeep Kulkarni (Michigan State University, USA)
  • Toshimitsu Masuzawa (Osaka University, Japan)
  • Franck Petit (Sorbonne Université, France)
  • Elad Michael Schiller (Chalmers University of Technology, Sweden)
  • Sébastien Tixeuil (Chair) (Sorbonne Université, France)

Advisory Committee

  • Sukumar Ghosh (University of Iowa, USA)
  • Ted Herman (University of Iowa, USA)

In Memory of

  • Ajoy Kumar Datta
  • Edsger W. Dijkstra
  • Mohamed Gouda

Program Committee

Track A. Stabilization and Locality in Distributed Computing

  • Peter Robinson (Chair) (Augusta University, USA)
  • Bogdan Chlebus (Augusta University, USA)
  • Varsha Dani (Rochester Institute of Technology, USA)
  • Stéphane Devismes (Université de Picardie Jules Verne, France)
  • Fabien Dufoulon (Lancaster University, UK)
  • Leszek Gąsieniec (University of Liverpool, UK)
  • Taisuke Izumi (Osaka University, Japan)
  • Dominik Kaaser (TU Hamburg, Germany)
  • Valerie King (University of Victoria, Canada)
  • Christoph Lenzen (CISPA Helmholtz Center for Information Security, Germany)
  • Yannic Maus (TU Graz, Austria)
  • Avery Miller (University of Manitoba, Canada)
  • William K. Moses Jr. (Durham University, UK)
  • Thomas Nowak (ENS Paris-Saclay, France)
  • Shreyas Pai (IIT Madras, India)
  • Gopal Pandurangan (University of Houston, USA)
  • Sriram Pemmaraju (University of Iowa, USA)
  • Joel Rybicki (Humboldt University of Berlin, Germany)
  • Christian Scheideler (Paderborn University, Germany)

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

  • Silvia Bonomi (Chair) (Sapienza University, Italy)
  • Leonardo Aniello (University of Southampton, UK)
  • Quentin Bramas (University of Strasbourg, France)
  • Antonella Del Pozzo (CEA, France)
  • Xavier Defago (Institute of Science Tokyo, Japan)
  • Giovanni Farina (Niccolò Cusano University, Italy)
  • Letterio Galletta (IMT, Italy)
  • Moti Medina (Bar Ilan University, Israel)
  • Mikhail Nesterenko (Kent State University, USA)
  • Sathya Peri (Indian Institute of Technology Hyderabad, India)
  • Valerio Schiavoni (University of Neuchatel, Switzerland)
  • Elad Michael Schiller (Chalmers University of Technology, Sweden)

Track C. Moving and Computing

  • Partha Sarathi Mandal (Chair) (Indian Institute of Technology Guwahati, India)
  • Evangelos Bampas (Université Paris-Saclay, France)
  • Doina Bein (California State University, Fullerton, USA)
  • Anaïs Durand (Université Clermont Auvergne, France)
  • Paola Flocchini (University of Ottawa, Canada)
  • Konstantinos Georgiou (Toronto Metropolitan University, Canada)
  • Barun Gorain (Indian Institute of Technology Bhilai, India)
  • Sayaka Kamei (Hiroshima University, Japan)
  • Ajay Kshemkalyani (University of Illinois at Chicago, USA)
  • Euripides A. Markou (University of Ioannina, Greece)
  • Kaushik Mondal (Indian Institute of Technology Ropar, India)
  • Lata Narayanan (Concordia University, Canada)
  • Alfredo Navarra (University of Perugia, Italy)
  • Debasish Pattanayak (University of Ottawa, Canada)
  • Giuseppe Prencipe (University of Pisa, Italy)
  • Anisur Rahaman Molla (Indian Statistical Institute, India)
  • Masahiro Shibata (Kyushu Institute of Technology, Japan)
  • Yuichi Sudo (Hosei University, Japan)