Thursday, August 3, 2017

[DMANET] OPODIS 2017 Call for Papers

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, USA
Carole Delporte, Université Paris Diderot, France
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, U. Liverpool UK and U. Patras Greece
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

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************