Gallery | |
The International Symposium on Distributed Computing (DISC) is an international forum on the theory, design, analysis, implementation and application of distributed systems and networks. DISC 2019 will be held in Budapest, Hungary, between the 14th and 18th of October. DISC is organized in cooperation with the European Association for Theoretical Computer Science (EATCS).
Important Dates
Dijkstra Prize nomination deadline: March 30, 2019Doctoral Dissertation Award nomination deadline: April 14, 2019Paper Submission (all papers): May 16, 2019 (AoE)Notification Regular Paper: July 19, 2019Notification Brief Announcements: July 26, 2019Camera-Ready Submission: August 7, 2019Early Registration: 31 August, 2019- Main Conference: October 15-17, 2019
- Workshops: October 14 and 18, 2019
Best Paper Award
Co-recipients of the DISC 2019 Best Paper Award:
- Orr Fischer and Rotem Oshman: A Distributed Algorithm for Directed Minimum-Weight Spanning Tree
- Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic and Dragos-Adrian Seredinschi: Scalable Byzantine Reliable Broadcast
New in DISC 2019
We will use double-blind peer review in DISC 2019, all submissions must be anonymous! However, you are still free to post your work e.g. on arXiv.
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
- 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
- Block chain 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