SSS 2018

20th International Symposium on Stabilization, Safety, and Security of
      Distributed Systems
November 4-7, 2018, Tokyo, Japan
http://www.coord.c.titech.ac.jp/symp/sss2018/

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
fundamental research and practical applications concerning topics in
the three symposium tracks:

Track A. Theoretical and Practical Aspects of Stabilizing Systems:
Self-stabilizing systems, Practically-stabilizing systems, Self-*
abstractions, Stabilization and self-* properties in hardware,
software, and middleware design. Self-stabilizing software defined
infrastructure, Self-stabilizing autonomous mobile agents.

Track B. Distributed Networks and Concurrency: Distributed and
concurrent algorithms and data structures, Synchronization protocols,
Shared and transactional memory, Formal Methods, validation,
verification, and synthesis, Social networks, Game-theory and
economical aspects of distributed computing, Randomization in
distributed computing, Graph-theoretic concepts for communication
networks, Dynamic networks, High-performance, cluster, cloud and grid
computing, Computing particles (population protocols, nanoscale
robots, biological distributed computation), Mobile, ad-hoc and
peer-to-peer networks (wireless, mobile, sensor), Mobile agents and
robots.

Track C. Safety in Malicious Environments: Network security, Privacy,
Internet-of-things Security, Secure cloud computing, Mobile sensor
networks/ad-hoc networks security, Verifiable/fault-tolerant
computing, Anomaly and networked malware detection, Blockchain
technologies and cryptocurrencies, Byzantine-fault tolerance and
distributed consensus protocols, Secure multi-party computation,
Applied cryptography.

Important Dates
Abstract submission July 14, 2018
Paper submission July 19, 2018
Acceptance Notification Aug.29, 2018
Camera-ready copy due Sep. 15, 2018

All accepted papers will be published as proceedings of Springer LNCS series.

Submission
Papers are to be submitted electronically, following the
guidelines available on the conference web page. Authors unable to
submit electronically should contact the program co-chairs to receive
instructions. All submission must conform to the formatting
instructions of Springer LNCS series. Each submission must be in
English, in PDF format, and include in the first page: (1) the title,
(2) the names and affiliations of all authors, (3) contact author?s
email, address and telephone number, (4) a brief, one paragraph
abstract of the paper, (5) indication whether the paper is a regular
submission, or a brief announcement submission, (6) indication whether
the submission is eligible to be considered for the best student paper
award.

A regular submission must not exceed 15 pages (including the title,
authors, abstract, figures, and references). Additional necessary
details for an expert to verify the main claims of the submission
should be included in a clearly marked appendix if extra space is
needed.

A brief announcement submission must not exceed 5 pages and should not
include appendix. Any submission deviating from these guidelines will
be rejected without consideration. It is recommended that a regular
submission begin 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. 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. Regular papers and brief announcements will be included
in the conference proceedings.

Paper awards 
Prizes will be given to the best paper and best student paper. A paper
is eligible for the best student paper if at least one of its authors
is a full-time student at submission time. This must be indicated in
the cover page. The PC may decline to confer awards or may split
awards.

General Chairs
Xavier Defago (Tokyo Tech., Japan)
Toshimitsu Masuzawa (Osaka U., Japan)
Koichi Wada (Hosei U., Japan)

Program Chairs
Taisuke Izumi (NITECH, Japan)
Petr Kuznetsov (Telecom Paris Tech, France).

Track Chairs

Track A: Theoretical and Practical Aspects of Stabilizing Systems
Swan Dubois (Sorbonne U., France)

Track B: Distributed Networks and Concurrency
Shantanu Das (Aix-Marseille U., France)

Track C: Safety in Malicious Environments
Jared Saia (U. New Mexico, USA)

Local Arrangement Chair
Yasumasa Tamura (Tokyo Tech., Japan)

Publicity Chairs
Doina Bein (California State U., USA)
Francois Bonnet (Tokyo Tech., Japan)

Publication Chair
Yuichi Sudo (Osaka U., Japan)

Steering Committee
Anish Arora (Ohio State U., USA)
Ajoy K. Datta (Chair) (U. Nevada, USA)
Shlomi Dolev, (Ben-Gurion U., Israel)
Sukumar Ghosh, (U. of Iowa, USA)
Mohamed Gouda, (UT Austin, USA)
Ted Herman, (U. Iowa, USA)
Toshimitsu Masuzawa, (Osaka U., Japan)
Franck Petit, (UPMC, France)
Sebastien Tixeuil, (UPMC, France)