News
PODC 2020 will be held in Salerno, Italy on August 3-7, 2020.
- 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).
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