International Symposium on DIStributed Computing (DISC) 2020




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 2020 will be held as a virtual conference between the 12th and 16th of October. DISC is organized in cooperation with the European Association for Theoretical Computer Science (EATCS).


Registration (regular papers and brief announcements): May 7, 2020 (AoE)
Submission (regular papers and brief announcements): May 14, 2020 (AoE)
Notification (regular papers): July 20, 2020
Notification (brief announcements): July 27, 2020
Final version for proceedings: August 10, 2020
Main conference: October 12-15, 2020
Workshops: October 15-16, 2020

All times are in Central European Summer Time = CEST = Berlin time = UTC+02:00.


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:

– Biological and nature-inspired distributed algorithms
– Blockchain protocols
– Communication networks: protocols, architectures and applications
– Distributed and concurrent data structures, replication and consistency
– Distributed computing: Algorithms and upper bounds
– Distributed computing: Lower bounds and impossibility results
– Distributed graph algorithms
– Distributed machine learning and data science
– Distributed operating systems, middleware, database systems
– Experimental evaluation of distributed algorithms and systems
– Fault tolerance, reliability, availability
– Formal methods for distributed computing: verification, synthesis and testing
– Game-theoretic and knowledge-based approaches to distributed computing
– Internet and Web applications, social networks and recommendation systems
– Massively-parallel, high-performance, cloud and grid computing
– Mobile agents, autonomous distributed systems, swarm robotics
– Multiprocessor and multi-core architectures and algorithms
– Population protocols and chemical reaction networks
– Security in distributed computing, cryptographic protocols
– Self-stabilizing, self-organizing, and autonomous systems
– Synchronization, persistence and transactional memory
– System-on-chip and network-on-chip architectures
– Wireless, mobile, sensor and ad-hoc networks