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 2025 will take place in Aloft Hotel Kathmandu.

Hotels

We have blocked rooms with discounted rates in the conference hotel for SSS participants. You can book your stay at discounted group rate at the conference hotel through this reservation link. The discounted group rate of 100 USD per night works for the stays between Wednesday, October 08, 2025 and Monday, October 13, 2025 and includes breakfast in the hotel restaurant.

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.

Visa

Nepalese visa is required for all nationalities except Indian nationals. Indian nationals are required to present some form of ID, i.e., passport or voter’s card.

Nepalese visa can be obtained 'On Arrival' except for the citizens of the following countries who are requested to acquire visa prior to their arrival from their nearby Diplomatic missions (Embassies/consulates) of Nepal Government.

  • Nigeria
  • Ghana
  • Zimbabwe
  • Swaziland
  • Cameroon
  • Somalia
  • Liberia
  • Ethiopia
  • Iraq
  • Palestine
  • Afghanistan
  • Syria
  • Refugees with travel document

'On Arrival' visa procedure is very quick and simple.

'On Arrival' visas are 'Tourist Visas'. They bear multiple re-entry facility. Tourist Visa 'On Arrival' is the only entry visa to Nepal. For your stay in Nepal for SSS (and MAC) participation and travel within Nepal, you should get 'Tourist Visa'.

Please follow these simple procedures for Tourist Visa 'On Arrival' at the Tribhuvan International Airport (TIA), Kathmandu, Nepal, if you have not acquired Visa prior to boarding the plane.

  1. Before boarding the plane to Nepal, fill the form "Visa On-arrival" at https://nepaliport.immigration.gov.np/. If you miss this step, you can fill it up using Kiosk machines upon your arrival at the airport. There will be someone at the Kiosk machines to help you if needed. If you fill the form online, you will get submission receipt with barcode, please print it out (or take a picture in your phone) and bring it with you. Please fill it within 15 days of reaching Nepal as it is valid only for 15 days.
  2. Take this form (printed or photo) and go to the visa fee collection counter (near Kiosk machines at the airport) and pay your visa fee according to your visa requirement ( 15/30/90 Days). While you can use different modes of payments (at visa fees collection counter), we advise you to carry some cash to be on the safe side (cash does not necessarily need to be USD, they will have a conversion rate). Visas can be extended while in Nepal. Therefore, if you are not sure of your length of stay, we recommend getting Tourist Visa 'On Arrival' for 15 days and then extend depending on your need.
    • 15 Days – 30 USD
    • 30 Days – 50 USD
    • 90 Days – 125 USD

    Visa fee Exceptions: Children below 10 years (except US citizens) are exempt from the visa fee but proof of age is required. Nationals from SAARC countries, who are entering Nepal for the first time, are exempt from any fee for up to 30 days visa (but visa application is still required).

  3. Proceed to the Immigration Desk with your online form, payment receipts, and your passport.

For further information on Tourist Visa to Nepal, please visit: https://immigration.gov.np/en/page/tourist-visa

If you need a visa letter, please contact Gokarna Sharma (replace _AT_ by arobase)

Travel Information

Getting to Kathmandu, Nepal

Tribhuvan International Airport (TIA) is the major international airport serving Kathmandu and most international air travel to Nepal. The airport code is KTM. Kathmandu is connected with direct flights from Tokyo Narita (Nepal Airlines), Seoul Incheon (Korean Air), Hongkong (Cathay Pacific/Nepal Airlines), Kuala Lumpur (Malaysian Airlines/Nepal Airlines), Singapore (Singapore Airlines), Bangkok (Thai Airways/Nepal Airlines), Dubai (Fly Dubai/Nepal Airlines), Abu Dhabi (Air Arabia), Doha (Qatar Airways/Nepal Airlines), Istanbul (Turkish Airlines), Delhi, Mumbai, Bangalore (Air India/IndiGo/Nepal Airlines), Colombo (SriLankan Airlines), and others.

  • Flying from Eastern US/Canada/Europe: Connect via Dubai, Abu Dhabi, Doha, Istanbul, Delhi.
  • Flying from Western US/Canada/Asia Pacific: Connect via Tokyo, Seoul, Hongkong, Singapore, Bangkok, Delhi.

Disclaimer: The above are subsets of flight options, and you might find alternative options based on your need and preferences.

Conference Hotel

Aloft Kathmandu Thamel is the venue for the conference. It is situated at the tourist part of the town, called Thamel. Kathmandu, specially Thamel and surrounding areas, has a wide variety of international class hotels to suit everyone's travel needs and finances. The discounted rate is negotiated at Aloft for your stay during SSS (and MAC), which includes complimentary breakfast as well as airport transfer. The conference hotel (and Thamel area) is approximately 6 kilometers (4 miles) from the Tribhuvan International Airport (TIA). The journey takes 20-30 minutes depending on the time of the day and the traffic condition.

Currency & Payments

Nepalese Rupees come in denominations of 1000, 500, 100, 50, 25, 20, 10, 5, 2, and 1. Coins come in denominations of 10, 25, 50 paisa, 1 rupee and 2 rupees. One rupee equals 100 paisa. Payment in hotels, travel agencies, and airlines are made in convertible currencies. Credit cards such as American Express, MasterCard, and Visa are widely accepted at major hotels, shops, and restaurants. Remember to keep your Foreign Exchange Encashment Receipt while making foreign exchange payments or transferring foreign currency into Nepalese rupees. Please bring some cash and you can get Nepalese currency through money exchanges/bank.

Electricity

All electrical outlets in the hotels and other areas are 220 to 240 volts, 50 cycles, continental plugs. For multi-voltage appliances like laptops, a plug adapter is needed.

Climate & Clothing

Light clothing/sweater during the day and a jacket, possibly for the morning and evening, will be appropriate in Kathmandu during October. The temperature during the month of October is in the range of 13-27 degree Celsius (55–81 degree Fahrenheit). If you plan to go for sightseeing/hiking, it would be nice to have hiking/trekking gear ready.

Local Transportation

Metered taxis are easily recognizable by the taxi sign and black number plates and can be hailed off the street. Battery run EV tempos are also available. There are micro and normal buses with the three cities of the Kathmandu Valley. However, not all points in the cities are served by public transportation and fixed timings are practically non-existent. Taxi fares are negotiable and should be arranged beforehand. You may also use ride-share app-based taxi in Nepal. You may download Pathao and In-Drive apps from Play Store to start using them in Kathmandu. Please remember you need a Nepalese cell phone number/Sim card to use the ride-share apps. You can easily obtain a Sim card from the TIA airport after customs clearance (we will have more info on this later).

Language

Nepali is the mostly used official language in Nepal. English is commonly understood and spoken in Kathmandu.

Food & Beverage

Rice is the staple food is usually eaten two times during the day in Nepal served with veg/non-veg curries, lentils, and pickles. Kathmandu has a rich food scene both traditional Nepalese and modern cuisine. Mo:mo: is famous and served in all kinds of restaurants. Additionally, most international cuisines are available in hotels and restaurants in Kathmandu, particularly in the Thamel area (we will have more info on this later). Mineral water is available everywhere you go, from street vendors to shopping centers. Please ONLY drink mineral water during your stay in Nepal. A cluster of cafes, bars, pubs, and night clubs offer a wide variety of international drinks and spirits in the Thamel area.

For any questions, please reach out to Gokarna Sharma (replace _AT_ by arobase).

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

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 Theoretical Computer Science (Elsevier).

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)
  • Jérémie Decouchant (Delft University of Technology, Netherlands)
  • Antonella Del Pozzo (CEA, France)
  • Xavier Defago (Institute of Science Tokyo, Japan)
  • Giovanni Farina (Niccolò Cusano University, Italy)
  • Letterio Galletta (IMT, Italy)
  • Maurice Herlihy (Brown University, USA)
  • 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)

Moving and Computing 2025

MAC 2025

Jointly organized with SSS 2025, MAC (Research Meeting and School on Distributed Computing by Mobile Robots) will be held right after SSS. More information is available at the following URL: https://gokarnasharma.github.io/mac25/

Where

Kathmandu, Nepal

When

12-13 October 2025