Subject: [Mipshop] First Call for Papers: SSS (International Symposium on Stabilization, Safety, and Security of Distributed Systems) 2020

From: Neeraj Mittal <[email-masked]>
Date: Sat, 16 May 2020 08:02:15 -0500

The 22th International Symposium on Stabilization, Safety, and
Security of Distributed Systems (SSS 2020) will be held in Austin, Texas, USA
on November 18-21, 2020.

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 four symposium tracks:

Track A. Self-Stabilization

Self-stabilizing systems, Variants of Self-stabilization, Topological
Stabilization, Autonomous Systems, Stabilization and self-* properties
in hardware, software, and middleware design, Self-stabilizing
software defined infrastructure.

Track B.  Foundations of Concurrent and Distributed Computing

Distributed and concurrent algorithms and data structures,
Synchronization protocols, Shared and transactional memory, Formal
Methods, validation, verification, and synthesis, Peer-to-peer
networks, 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.

Track C. Mobile and Robot Computing

Self-organization in mobile agents, mobile robots, mobile sensor
networks, mobile ad-hoc networks, population protocols, programmable
particles, nanoscale robots, biological systems, and related new
models.

Track D. Fault tolerance, Security, and Privacy

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 27, 2020 (11:59 PM AoE)
    Paper Submission:         August 3, 2020 (11:59 PM AoE)
    Acceptance Notification:  September 28, 2020
    Camera-ready copy due:    October 9, 2020

PAPER SUBMISSION
Papers are to be submitted electronically through EasyChair:
https://easychair.org/conferences/?conf=sss2020

All submission must conform to the formatting instructions of Springer
LNCS series (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines). Each submission must be in English, in PDF format.

DOUBLE-BLIND REVIEW
We will experiment the double-blind peer review in SSS 2020. All
submissions must be anonymous. We will use a somewhat relaxed
implementation of double-blind peer review this year: 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 identity of the authors. Please
feel free to ask the PC chairs if you have any questions about the
double-blind policy of SSS 2020.

SUBMISSIONS
There are two types of submission: regular paper and brief announcement.

- 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
  may 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 any appendix.

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. 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.

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 paper award (e.g.,
 using a \thanks in the title).  The PC may decline to confer awards
 or may split awards.

For further information, please refer to the website:
http://www.cse.msu.edu/~sandeep/SSS2020