News
PODC 2022 will be held July 25-29 2022 in Salerno, Italy.
- Registration open here.
- Info on local arrangements available here.
- Tentative schedule is available here.
- List of accepted papers has been released.
- Keynote speakers this year are:
- Info about workshops & tutorials here.
- The 2022 Dijkstra Prize will go to:
-
“Safe Memory Reclamation for Dynamic Lock-Free Objects Using Atomic Reads and Writes,”
by Maged M. Michael.
Proceedings of the 22nd ACM Symposium on Principles of Distributed Computing (PODC), Monterey, CA, USA, July 2002, pages 21–30. -
“The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures,”
by Maurice Herlihy, Victor Luchangco, and Mark Moir.
Proceedings of the 16th International Symposium on Distributed Computing (DISC), Toulouse, France, October 2002, pages 339–353.
-
- Follow PODC on Twitter: @podc_disc.
- The submission site is now open.
- The call for workshops and tutorials is now available.
- The call for papers is now available.
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 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 and systems
- blockchain protocols
- coding and reliable communication
- communication networks
- concurrency, synchronization, and persistence
- design and analysis of distributed algorithms
- distributed and cloud storage
- distributed and concurrent data structures
- distributed computation for large-scale data
- distributed graph algorithms
- distributed machine learning algorithms
- distributed operating systems, middleware, databases
- distributed resource management and scheduling
- fault-tolerance, reliability, self-organization, and self-stabilization
- game-theoretic approaches to distributed computing
- high-performance, cluster, cloud and grid computing
- internet applications
- languages, verification, and formal methods for distributed systems
- lower bounds and impossibility results for distributed computing
- mobile computing and autonomous agents
- multiprocessor and multi-core architectures and algorithms
- peer-to-peer systems, overlay networks, and social networks
- population protocols
- quantum and optics based distributed algorithms
- replication and consistency
- security and cryptography in distributed computing
- specifications and semantics
- system-on-chip and network-on-chip architectures
- transactional memory
- wireless, sensor, mesh, and ad hoc networks