[Caml-list] Last CFP: SSS 2018 (submission extended to July 18)

[Caml-list] Last CFP: SSS 2018 (submission extended to July 18)

[Bein, Doina]

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

SSS 2018 CALL FOR PAPERS

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/


Dates
-----
Abstract submission:     July 18, 2018
Paper submission:        July 23, 2018
Acceptance Notification: Aug. 29, 2018
Camera-ready copy due:   Sep. 15, 2018


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


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.


Publication
—----------
Extended and revised versions of selected papers will be considered for a
special issue of the journal Information and Computation.


Invited Speakers
----------------
Shay Kutten (Technion, Israel)
Francois Le Gall (Kyoto University, Japan)
Jun Sakuma (Tsukuba University, Japan)


Organization
------------
General Chairs
 Xavier Defago (Tokyo Institute of Technology, Japan)
 Toshimitsu Masuzawa (Osaka University, Japan)
 Koichi Wada (Hosei University, Japan)

Program Chairs
 Taisuke Izumi (NITECH, Japan)
 Petr Kuznetsov (Telecom ParisTech, France)

Track Chairs
 Track A: Swan Dubois (Sorbonne University, France)
 Track B: Shantanu Das (Aix-Marseille University, France)
 Track C: Jared Saia (University of New Mexico, USA)

Program Committee
 Track A
  Leonid Baremboin (Open University of Israel, Israel)
  Silvia Bonomi (La Sapienza, Italy)
  Sylvie Delaet (Paris-Sud University, France)
  Colette Johnen (Bordeaux University, France)
  Sayaka Kamei (Hiroshima University, Japan)
  Shay Kutten (Technion, Israel)
  Christoph Lenzen (MPI, Germany)
  Alexandre Maurer (EPFL, Switzerland)
  Fukuhito Ooshita (NAIST, Japan)
  Stephane Rovedakis (CNAM, France)
  Christian Scheideler (Paderborn University, Germany)
  Elad Schiller (Chalmers University of Technology, Sweden)
 Track B
  Francois Bonnet (Tokyo Institute of Technology, Japan)
  Armando Castaneda (National Autonomous University of Mexico, Mexico)
  Antonella Del Pozzo (CEA LIST, Paris, France)
  Leszek Gasieniec (University of Liverpool, UK)
  Rachid Guerraoui (EPFL, Switzerland)
  Tomasz Jurdzinski (University of Wroclaw, Poland)
  Evangelos Kranakis (Carleton University, Canada)
  Flaminia Luccio (Ca' Foscari University of Venice, Italy)
  Thomas Nowak (Paris-Sud University, France)
  Lata Narayanan (Concordia University, Canada)
  Gopal Pandurangan (University of Houston, USA)
  Giuseppe Prencipe (University of Pisa, Italy)
  Nicola Santoro (Carleton University, Canada)
 Track C
  James Aspnes (Yale University, USA)
  John Augustine (IIT Madras, India)
  Seth Gilbert (National University of Singapore, Singapore)
  Valerie King (University of Victoria, Canada)
  Seth Pettie (University of Michigan, USA)
  Cindy Phillips (Sandia National Labs, USA)
  Peter Robinson (McMaster University, Canada)
  Amitabh Trehan (Loughborough University, UK)
  Maxwell Young (Mississippi State University, USA)
  Mahnush Movahedi (DFINITY, USA)
  Mahdi Zamani (Visa Research, USA)
  Chaodong Zheng (Nanjing University, Singapore)

Local Arrangement Chair
 Yasumasa Tamura (Tokyo Institute of Technology, Japan)

Publicity Chairs
 Doina Bein (California State University, USA)
 Francois Bonnet (Tokyo Institute of Technology, Japan)

Publication Chair
 Yuichi Sudo (Osaka University, Japan)

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

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

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