International Symposium on DIStributed Computing (DISC) 2018

Call for Papers

DISC is an International Symposium on Distributed Computing, organized in cooperation with the European Association for Theoretical Computer Science (EATCS).

pdf version of CFP is available here. Submission page is now open, click here.

Scope

Original contributions to theory, design, implementation, modeling, analysis, or application of distributed systems and networks are solicited. Topics of interest include, but are not limited to:

  • Distributed computing theory, computability, knowledge
  • Concurrency and synchronization, transactional memory
  • Classic distributed algorithms and data structures: correctness and complexity
  • Distributed graph algorithms, dynamic networks, network science
  • Multiprocessor and multicore parallel architectures and algorithms
  • Circuits, systems on chip and networks on chip
  • Wireless, mobile, sensor and ad-hoc networks
  • Fault tolerance and self-stabilization, reliability, availability
  • Security in distributed computing, cryptographic protocols
  • Blockchain and other recent distributed paradigms
  • Game-theoretic approaches to distributed computing
  • Formal verification, synthesis and testing: methodologies, tools
  • Distributed operating systems, middleware, and distributed programming
  • Distributed databases, big data, cloud and peer-to-peer computing
  • Mobile agents, autonomous distributed systems, swarm robotics
  • Biological and nature-inspired distributed algorithms
  • Machine learning and distributed computing

Submission

Papers are to be submitted electronically, following the guidelines on the conference web page. Submissions must be in English and in .pdf format, and must indicate on the first page if the paper is eligible for the best student paper award. By registering the abstract for a regular submission, the authors declare that the submission will report on original research that has not previously appeared and is not currently under review for (or concurrently submitted to) a journal or a conference with published proceedings. Any overlap with a published or concurrently submitted paper must be clearly indicated. Submissions for regular papers must be formatted in accordance with the LIPIcs proceedings guidelines and not exceed 15 pages (excluding references). Authors are expected to include all the ideas necessary for an expert to verify the central claims in the paper. An appendix is not allowed, but providing a full version on arxiv (or a similar public archive like HAL, for instance) is encouraged. LIPIcs typesetting instructions can be found here and the lipics.cls LaTeX style here. Submissions not conforming to these guidelines (in particular, ones that modify the style for saving space) and papers outside of the scope of the conference will be rejected without consideration.

A brief announcement submission must not exceed 3 pages (including references) in the same LIPIcs format, with a title starting with “Brief Announcement:”. The material in brief announcements can be published later on in other conferences or journals. A regular submission that is not selected for a regular presentation may be invited by the PC for the brief announcements track.

Publication

The proceedings will be published by LIPIcs. Accepted papers and brief announcements must be presented by one of the authors, with a full registration, at the conference site, and according to the final schedule. Any submission accepted into the technical program but not presented on-site will be withdrawn from the final proceedings.

Awards

Awards will be given to the best paper and the best student paper. To be eligible for the best student paper award at least one of the paper authors must be a full-time student at the time of submission, and the student(s) must have made a significant contribution to the paper.