International Symposium on DIStributed Computing (DISC) 2020

Home

News

  • Please cast your vote for the Best Video Award and give us feedback to further optimize this conference. The corresponding forms can be found on this wepsite.
  • The video presentations of the DISC 2020 best paper and best student paper are available. Congratulations to the authors.
  • The videos of the talks are published. Here you get to the full playlist on our YouTube channel.
  • The proceedings of DISC 2020 has been published by LIPICS (ISBN 978-3-95977-168-9, LIPICS Vol. 179). You can find the full open access proceedings at this website.
  • The websites for the MoPS Sessions and the Junior-Senior Meetings are now available.
  • The 2020 program is now available. Keynote talks are

About

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).

Dates

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

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:

  • 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