News
PODC 2020 will be held in Salerno, Italy on August 3-7, 2020.
See the call for papers.
PODC 2019
PODC 2019 was held in Toronto on July 29-August 2, 2019.
- The conference proceedings are available on line.
- Keynote talks were:
- The 2019 Dijsktra Prize went to Alessandro Panconesi and Aravind Srinivasan for “Randomized Distributed Edge Coloring via an Extension of the Chernoff–Hoeffding Bounds” in SIAM Journal on Computing, volume 26, number 2, 1997, pages 350–368.
- The 2019 Dissertation Award went to Dr. Sepehr Assadi for “Combinatorial Optimization on Massive Datasets: Streaming, Distributed, and Massively Parallel Computation” under Prof. Sanjeev Khanna at the University of Pennsylvania.
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