OPODIS 2017

We apologize in advance if you receive multiple copies of this CFP.

=
===========================================================

=
============ CALL FOR PAPERS ============================

=
=========================================================== OPODIS 2017 The 21st International Conference on Principles of Distributed Systems

18-20 Dec, Lisbon http://opodis2017.campus.ciencias.ulisboa.pt

Schedule

Abstract registration: 21 August 2017 Submission deadline: 28 August 2017 Acceptance notification: 30 October 2017 Final version due: 13 Nov 2017 Conference: 18-20 Dec 2017, Lisbon

=
===========================================================

OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and distributed computer systems. All aspects of distributed systems are within the scope of OPODIS. OPODIS solicits papers in all aspects of distributed systems, including theory, specification, design, performance, and system building. With a strong background in the theory of distributed systems, OPODIS has recently expanded its scope to cover the whole range between the theoretical aspects and practical implementations of distributed systems.

TOPICS

Topics of interest include, but are not limited to: - Design and analysis of distributed algorithms - Synchronization, concurrent algorithms, shared and transactional memory - Design and analysis of concurrent and distributed data structures - Communication networks (protocols, architectures, services, applications) - High-performance, cluster, cloud and grid computing - Mesh and ad-hoc networks (wireless, mobile, sensor), location and context-aware systems - Mobile agents, robots, and rendezvous - Internet applications, social systems, peer-to-peer and overlay networks - Distributed operating systems, middleware, and distributed database systems - Programming languages, formal methods, specification and verification applied to distributed systems - Embedded and energy-efficient distributed systems - Distributed event processing - Distributed storage and file systems, large-scale systems, and big data analytics - Dependable distributed algorithms and systems - Self-stabilization, self-organization, autonomy - Security and privacy, cryptographic protocols - Game-theory and economical aspects of distributed computing - Randomization in distributed computing - Biological distributed algorithms

PUBLICATION

OPODIS has post-proceedings published by Leibniz International Proceedings in Informatics (LIPIcs) in gold open access mode. The proceedings become available online, free of charge, after the conference. Preliminary versions of the proceedings will be available to participants at the conference electronically. The camera-ready version of a paper must have the same format and be of the same length as its submitted version.

Extended and revised versions of selected papers will be considered for a special issue of Theoretical Computer Science (Elsevier).

SUBMISSION

Papers are to be submitted electronically through Easychair at the following link https://easychair.org/conferences/?conf=opodis2017. Submissions must be in English in PDF format and they must be prepared using the LaTeX style templates for LIPIcs and choosing the A4 paper option. A submission must not exceed 16 pages, including the cover page, figures, tables and references. The cover page should include the title of the paper, the authors’ names, affiliations and e-mails, an abstract, information about the contact author, and a list of keywords.

Additional details may be included in a clearly marked appendix or as supplementary material which will be read at the discretion of the reviewers. Submissions are expected to be intelligible and complete without such additional details.

A submission must report on original research that has not previously appeared in a journal or conference with published proceedings. It should not be concurrently submitted to such a journal or conference. Any overlap with a published or concurrently submitted paper must be clearly indicated. The Program Chairs reserve the right to reject submissions that are out of scope, or of clearly inferior quality, or that violate the submission guidelines. Each of the remaining papers will undergo a thorough reviewing process.

BEST PAPER AWARD

OPODIS features a best paper award. All accepted papers will be evaluated for the best paper award. The best paper award aims to encourage work that combines theory and practice and demonstrates excellence of research in at least one of these two areas. Such work could be an advance in theory that sheds lights on an interesting system problem or an advance in system work that builds upon strong theoretical results.

GENERAL CHAIR

Alysson Bessani, University of Lisboa, Portugal

PROGRAM CHAIRS

Pascal Felber, University of Neuchâtel, Switzerland James Aspnes, University of Yale, USA

PROGRAM COMMITTEE

Sara Bouchenak, INSA Lyon, France Armando Castaneda, UNAM.Mexico Bogdan Chlebus, University of Colorado, USA Xavier Defago, Tokyo Institute of Technology, Japan Oksana Denysyuk, Pure Storage, Italy David Doty, University of California, USA Jim Dowling, SICS/KTH, Swedish Patrick Eugster, TU Darmstadt, Germany Chryssis Georgiou, University of Cyprus, Cyprus Wojciech Golab, University of Waterloo, Canada Vincent Gramoli, University of Sydney, Australia David Ilcinkas, LaBRI, CNRS & Bordeaux University, France Taisuke Izumi, Nagoya Institute of Technology, Japan Ruediger Kapitza, TU Braunschweig, Germany Christoph Lenzen, MPI for Informatics, Germany Rui Oliveira, Universidade do Minho, Portugal Emanuel Onica, Alexandru Ioan Cuza University of Iasi, Romania Fernando Pedone, University of Lugano, Switzerland Sebastiano Peluso, Virginia Tech, USA Peter Pietzuch, Imperial College London, England Maria Potop-Butucaru, Université Paris-VI Pierre-et-Marie-Curie, France Laurent Réveillère, Bordeaux INP/Labri, France Etienne Rivière, University of Neuchatel, Switzerland Luis Rodrigues, INESC-ID / IST - University of Lisboa, Portugal Paolo Romano, INESC-ID / IST - University of Lisboa, Portugal Romain Rouvoy, University of Lille / Inria / IUF, France Christian Scheideler, University of Paderborn, Germany Paul Spirakis, Research Academic Computer Technology Institute / University of Patras, England Jukka Suomela, Aalto University, Finland Maarteen van Steen, University of Twente, Netherlands Roman Vitenberg, University of Oslo, Norway Spyros Voulgaris, VU University Amsterdam, Netherlands Yukiko Yamauchi, Kyushu University, Japan Haifeng Yu, National University of Singapore, Singapore

STEERING COMMITTEE

Christian Cachin, IBM Research, Zurich, Switzerland Panagiota Fatourou, FORTH ICS & University of Crete, Greece Alessia Milani, University of Bordeaux, France Fernando Pedone, University of Lugano, Switzerland Maria Potop-Butucaru, Université Paris-VI Pierre-et-Marie-Curie, France Giuseppe Prencipe, Università di Pisa, Italy Etienne Rivière, University of Neuchâtel, Switzerland Sebastien Tixeuil, IUF & Université Pierre et Marie Curie - Paris 6, France (chair)

ORGANIZATION COMMITTEE

Ibéria Medeiros (local arrangements chair), FCUL, University of Lisboa, Portugal Miguel Matos (publicity chair), INESC-ID / IST, University of Lisboa, Portugal João Leitão (publication chair), University Nova de Lisboa, Portugal