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 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
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.
|August 21, 2017||Abstract registration|
|TBA||Workshops and tutorials proposal deadline|
|August 28, 2017||Submission deadline|
|October 30, 2017||Acceptance notification|
|November 13, 2017||Final version due|
|December 18-20, 2017, Lisbon, Portugal||Conference|
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).
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.