News
- See the conference program and conference proceedings for PODC 2014.
- Leslie Lamport was awarded the 2013 ACM Turing Award and delivered his Turing Award lecture in Paris at PODC 2014. Microsoft Research published a well-written article about Leslie and his work.
- Maurice Herlihy was honored for his work on the occasion of his sixtieth birthday at PODC 2014.
- Michael Luby, Silvio Micali, and Joseph Sifakis (slides) delivered the invited lectures at PODC 2014.
- The 2014 Dijkstra Prize has been awarded to Kanianthra Mani Chandy and Leslie Lamport and was presented at PODC 2014.
- The 2014 Disseration Award has been awarded to Bernhard Haeupler and will be presented at DISC 2014.
- Follow PODC on Twitter @podc_conference and hash tag #PODC2014.
- PODC 2013 was held in Montréal, on July 22-24, 2013, and the PODC 2013 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