Friday, July 6, 2018

[DMANET] SSS 2018 Call for Papers : Submissions open (Deadline: July 19)

The 20th edition of SSS (2018) is inviting submissions. Topics include all areas of theory and algorithms for distributed systems.
Kindly circulate the Call for Papers among your colleagues.

SSS 2018
20th International Symposium on Stabilization, Safety, and Security of
Distributed Systems
November 4-7, 2018, Tokyo, Japan

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

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)

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.