PODC 2021 will be held July 26-30, 2021
in Salerno, Italy virtually.
- (Feb. 9th, 2021) – An update to the CFP is as follows:
Original – It is not permitted to submit the same material concurrently to journals or conferences with proceedings.
Update – It is not permitted to submit the same material concurrently to journals or conferences with proceedings. The only exception to this is prior or simultaneous publications appearing in the Science and Nature journals.
- The submission website https://podc2021.hotcrp.com/ is open for submissions.
- It has been decided to hold the conference virtually this year.
- Follow PODC on Twitter: @podc_disc.
- View PODC talks on YouTube: https://www.youtube.com/c/PODC-DISC.
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
- 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 and concurrent 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
- parallel network computations
- 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