Royal Holloway, University of London
July 23-27, 2018
PODC 2018 will be held July 23-27, 2018, at Royal Holloway, University of London in Egham, United Kingdom.
- The deadline for the call for nominations for the Dissertation Award is April 30.
- Keynote talks for PODC 2018 include
- Data Summarization and Distributed Computation by Graham Cormode, University of Warwick
- Overview of Persistent Memory in Distributed Systems Architecture – Past, Present, Future by Robert Peglar, consultant
- The workshop and tutorial schedule this year includes six workshops and four tutorial spread over two days.
- Follow PODC on Twitter @podc_conference.
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:
- distributed algorithms: design, analysis, and complexity
- communication networks: algorithms, protocols, applications
- multiprocessor and multi-core architectures and algorithms
- shared and transactional memory, concurrency, synchronization
- fault-tolerance, reliability, self-organization, self-stabilization
- Internet applications, social networks, recommendation systems
- dynamic, adaptive and machine learning distributed algorithms
- distributed operating systems, middleware, databases
- biological distributed algorithms
- game-theoretic approaches to distributed computing
- peer-to-peer systems, overlay networks
- high-performance, cluster, cloud and grid computing
- wireless networks, mobile computing, autonomous agents
- context-aware distributed systems
- security in distributed computing, cryptographic protocols
- quantum and optics based distributed algorithms
- sensor, mesh, and ad hoc networks
- specification, semantics, verification of concurrent systems