Wednesday, July 8, 2020

[DMANET] CfP: OPODIS 2020

Our apologies if you receive multiple copies of this CFP.
======================================================
OPODIS 2020 Call for Papers
======================================================
Conference on Principles of Distributed Systems (OPODIS 2020)
14, 15, 16 December 2020
Strasbourg, France (Note: the conference may take place virtually due to the coronavirus pandemic)
Website: http://opodis2020.unistra.fr/ <http://opodis2020.unistra.fr/>
======================================================
Important dates:

Abstract registration: August 31, 2020
Submission deadline: September 5, 2020
Acceptance notification: October 25, 2020
Final version due: November 14, 2020
Conference: December 14-16, 2020

======================================================
Scope:

OPODIS is an open forum for the exchange of state-of-the-art knowledge on distributed computing and distributed computer systems. OPODIS aims at having a balanced program that combines theory and practice of distributed systems. OPODIS solicits papers in all aspects of distributed systems, including theory, specification, design, system building, and performance.

Topics of interest include, but are not limited to:

- Biological distributed algorithms
- Blockchain technology and theory
- Communication networks (protocols, architectures, services, applications)
- Cloud computing and data centers
- Dependable distributed algorithms and systems
- Design and analysis of concurrent and distributed data structures
- Design and analysis of distributed algorithms
- Randomization in distributed computing
- Social systems, peer-to-peer and overlay networks
- Distributed event processing
- Distributed operating systems, middleware, and distributed database systems
- Distributed storage and file systems, large-scale systems, and big data analytics
- Edge computing
- Embedded and energy-efficient distributed systems
- Game-theory and economical aspects of distributed computing
- Security and privacy, cryptographic protocols
- Synchronization, concurrent algorithms, shared and transactional memory
- Impossibility results for distributed computing
- High-performance, cluster, cloud and grid computing
- Internet of things and cyber-physical systems
- Mesh and ad-hoc networks (wireless, mobile, sensor), location and context-aware systems
- Mobile agents, robots, and rendezvous
- Programming languages, formal methods, specification and verification applied to distributed systems
- Self-stabilization, self-organization, autonomy
- Distributed deployments of Machine Learning

======================================================
Double-blind review

We will use double-blind peer review in OPODIS 2020. All submissions must be anonymous. We will use a somewhat relaxed implementation of double-blind peer review in OPODIS 2020: 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 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 OPODIS 2020.
======================================================
Submissions

Papers are to be submitted electronically at the following Submission link (https://opodis2020.bramas.fr/ <https://opodis2020.bramas.fr/>). 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, a list of keywords, and an abstract of 1 to 2 paragraphs summarizing the contributions of the submission. The submission must contain a clear presentation of the merits of the paper, including discussion of its importance, prior work, and an outline of key technical ideas and methods used to achieve the main claims. All of the ideas necessary for an expert to fully verify the central claims in the submission, including experimental results, should be included either in the submission or in a clearly marked appendix. The appendix will be read at the discretion of the reviewers!
. If desired, the appendix can be a copy of the full paper. 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, of clearly inferior quality, or that violate the submission guidelines. Each of the remaining papers will undergo a thorough reviewing process.

======================================================
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.
======================================================
Program Committee Co-Chairs

Rotem Oshman (Tel Aviv University, Israel)
Paolo Romano (University of Lisbon & INESC-ID, Portugal)

Program Committee:

Silvia Bonomi (University of Rome Sapienza, Italy)
Dave Dice (Oracle, USA)
Diego Didona (IBM Research Zurich, Switzerland)
Aleksandar Drakojevic (Microsoft Research, UK)
Laurent Feuilloley (Universidad de Chile, Chile)
Vijay Garg (UT Austin, USA)
Wojciech Golab (University of Waterloo, USA)
Taisuke Izumi (Nagoya Institute of Technology, Japan)
Shir Landau (Princeton University, USA)
João Leitão (Universidade Nova de Lisboa, Portugal)
Pedro Montealegre (Universidad Adolfo Ibáñez,Chile)
Fukuhito Ooshita (Nara Institute of Science and Technology, Japan)
Michail Othon (University of Liverpool, UK)
Roberto Palmieri (LeHigh University, USA)
Marta Patino (Universidad Politécnica de Madrid, Spain)
Fernando Pedone (University of Lugano, Switzerland) Sebastiano Peluso (Facebook, USA)
Francesco Quaglia (University of Rome Tor Vergata, Italy)
Vivien Quema (Grenoble INP, France)
Luís Rodrigues (University of Lisbon & INESC-ID, Portugal)
William Rosenbaum (MPI Saarbrucken, German
Nicola Santoro (Carleton University, Canada)
Jared Saia (University of New Mexico, USA)
Valerio Schiavoni (University of Neuchatel, Switzerland)
Stefan Schmid (University of Vienna, Austria)
Ulrich Schmid (Vienna University of Technology, Austria)
Pierre Sutra (Pierrre Sutra (Télécom SudParis, France)
Hsin-Hao Su (Boston College, USA)
Jara Uitto (Aalto University, Finland)
Philipp Woelfel (University of Calgary, Canada)

======================================================
Awards

Awards will be given to the best paper and the best student paper (i.e., primarily written by a student). Eligibility for the best student paper award should be clearly indicated on the cover page.



--
Miguel Matos
Assistant Professor @ Instituto Superior Técnico, Universidade de Lisboa
Senior Researcher @ INESC-ID Lisboa
miguel.marques.matos@tecnico.ulisboa.pt

http://www.gsd.inesc-id.pt/~mm/ <http://www.gsd.inesc-id.pt/~mm/>

Tel.: +351 21 310 02 92

Rua Alves Redol, 9
1000-029 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/
*
**********************************************************