News
PODC 2020 will be held as a virtual conference on August 3-6, 2020.
- The 2020 program is now available.
- The 2020 Dijkstra Prize has been awarded to Dana Angluin, James Aspnes, Zoe Diamadi, Michael J. Fischer, and Rene Peralta for “Computation in networks of passively mobile finite-state sensors” in Distributed Computing 18(4): 235-253 (2006).
- The 2020 Doctoral Dissertation Award has been awarded to
- Dr. Yi-Jun Chang for his dissertation Locality of Distributed Graph Problems written under the supervision of Prof. Seth Pettie at the University of Michigan.
- Dr. Yannic Maus for his dissertation The Power of Locality: Exploring the Limits of Randomness in Distributed Computing written under the supervision of Prof. Fabian Kuhn at the University of Freiburg.
Scope
The ACM Symposium on Principles of Distributed Computing, is an international forum on the theory, design, analysis, implementation and application of distributed systems and networks. We solicit papers in all areas of distributed computing. Papers from all viewpoints, including theory, practice, and experimentation, are welcome. The common goal of the conference is to improve understanding of the principles underlying distributed computing. Topics of interest include, but are not limited to, the following:
- biological distributed algorithms
- blockchain protocols
- coding and reliable communication
- communication networks: algorithms, protocols, applications
- complexity and impossibility results for distributed computing
- concurrency, synchronization, and persistence
- design and analysis of distributed algorithms
- distributed and cloud storage
- distributed data structures
- distributed graph algorithms
- distributed machine learning algorithms
- distributed operating systems, middleware, databases
- distributed resource management and scheduling
- fault-tolerance, reliability, self-organization, self-stabilization
- game-theoretic approaches to distributed computing
- high-performance, cluster, cloud and grid computing
- internet applications, social networks, recommendation systems
- languages, verification, formal methods for distributed systems
- multiprocessor and multi-core architectures and algorithms
- peer-to-peer systems, overlay networks
- population protocols
- quantum and optics based distributed algorithms
- replication and consistency
- security in distributed computing, cryptographic protocols
- sensor, mesh, and ad hoc networks
- specifications and semantics
- system-on-chip and network-on-chip architectures
- transactional memory
- wireless networks, mobile computing, autonomous agents