caml-list - the Caml user's mailing list
 help / Atom feed
From: "Bein, Doina" <dbein@Fullerton.edu>
Subject: [Caml-list] Call for papers : SSS 2019
Date: Tue, 2 Jul 2019 07:59:10 +0000
Message-ID: <BYAPR08MB38950841F81901A40A01F990B5F80@BYAPR08MB3895.namprd08.prod.outlook.com> (raw)
In-Reply-To: <BYAPR08MB3895251065C80B197A13E6E9B5F80@BYAPR08MB3895.namprd08.prod.outlook.com>

[-- Attachment #1: Type: text/plain, Size: 5557 bytes --]

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

October 21-25, 2019, Pisa, Italy
https://nam01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fsss2019.lip6.fr&amp;data=02%7C01%7Cdbein%40Fullerton.edu%7C2107bc4bcc094400c38508d6fdeef032%7C82c0b871335f4b5c9ed0a4a23565a79b%7C0%7C0%7C636975600015891148&amp;sdata=eb71u1WsnCz1%2BINCQNLri5R7b8u75qvedNSBSsiWzZc%3D&amp;reserved=0=

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. Foundations of Distributed Computing
Track chair: Mohsen Ghaffari (ETHZ, Switzerland)

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 B. Moving and Computing
Track chair: Yukiko Yamauchi (Kyushu University, Japan)

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 C. Theoretical and Practical Aspects of Stabilizing Systems
Track chair: Mikhail Nesterenko (Kent State University, USA)

Self-stabilizing systems, Practically-stabilizing systems, Topological Stabilization, Self-* abstractions, Stabilization and self-* properties in hardware, software, and middleware design. Self-stabilizing software defined infrastructure, Self-stabilizing autonomous mobile agents.


Track D. Security and Privacy
Track chair: Sara Tucci (CEA, France)

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 20, 2019
    Paper Submission: July 25, 2019
    Acceptance Notification: August 31, 2019
    Camera-ready copy due: September 15, 2019

Paper Submission

Papers are to be submitted electronically, following the guidelines available on the conference web page. Authors unable to submit electronically should contact the general chair 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 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.
Extended and revised versions of selected papers will be considered for a special issue of the journal Information and Computation.

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.

Organization

General Chair

    Sébastien Tixeuil (Sorbonne Université, France)

Organizing Chair

    Giuseppe Prencipe (University of Pisa, Italy)

Publicity Chair

    Doina Bein (California State University, USA)


[-- Attachment #2: Type: text/html, Size: 8785 bytes --]

           reply index

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <BYAPR08MB3895251065C80B197A13E6E9B5F80@BYAPR08MB3895.namprd08.prod.outlook.com>]

Reply instructions:

You may reply publically to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=BYAPR08MB38950841F81901A40A01F990B5F80@BYAPR08MB3895.namprd08.prod.outlook.com \
    --to=dbein@fullerton.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox