Donostia-San Sebastián, Spain
July 21-23, 2015
News
- The PODC 2015 Proceedings are now available on-line.
- Congratulations to our 2015 Dijkstra Prize winners:
- Another Advantage of Free Choice: Completely Asynchronous Agreement Protocols, by Michael Ben-Or in Proceedings of the Second ACM Symposium on Principles of Distributed Computing, pages 27-30, August 1983
- Randomized Byzantine Generals, by Michael O. Rabin in Proceedings of Twenty-Fourth IEEE Annual Symposium on Foundations of Computer Science, pages 403-409, November 1983
- Congratulations to our 2015 Dissertation Award winner:
- Leonid Barenboim will receive the Doctoral Dissertation Award for “Efficient Network Utilization in Locality-Sensitive Distributed Algorithms.”
- Congratulations to our PODC 2015 award winners:
- Leonid Barenboim will receive the Best Paper award for “Deterministic (Delta+1) Coloring in Sublinear (in Delta) Time, in Static, Dynamic and Faulty Networks.”
- Mohsen Ghaffari will receive the Best Student Paper award for “Near-Optimal Scheduling of Distributed Algorithms.”
- The invited speakers for PODC 2015 are
- See the list of accepted papers and brief announcements for PODC 2015. Authors should see the author instructions to learn how to submit the final versions of their papers and announcements.
- See a Donostia-San Sebastián slide show prepared for PODC 2015.
- Follow PODC on Twitter @podc_conference and hash tag #PODC2015Spain.
- PODC 2014 was held in Paris and the PODC 2014 conference proceedings are now available online.
Scope
Original contributions to the theory, design, analysis, implementation, or application of distributed systems and networks, and, in particular, of conceptually innovative results are solicited. Topics of interest include, but are not limited to:
- algorithms for distributed systems and their complexity
- cluster, cloud, grid and high-performance computing
- communication networks: protocols, architectures, services, applications
- concurrent programming, synchronization, shared and transactional memory
- cryptographic protocols and system security
- distributed operating systems, databases and programming languages
- dynamic, adaptive and machine learning based distributed algorithms
- formal methods, semantics and verification of concurrent systems
- fault tolerance, reliability, availability of distributed systems
- game-theoretic approaches to distributed computing
- information theory, codes and reliable communication
- Internet applications, social networks and complex networks
- multiprocessor and multi-core architectures and algorithms
- nanonetworks and biological distributed algorithms
- quantum and optics based distributed algorithms
- self-stabilizing, self-organizing and autonomic systems
- sensor, mobile, ad-hoc, robot and peer-to-peer networks