News
- See the list of accepted papers and brief announcements for PODC 2014.
- Leslie Lamport has been awarded the 2013 ACM Turing Award and will deliver his Turing Award lecture in Paris at PODC 2014. Microsoft Research published a well-written feature story about Leslie and his work.
- Maurice Herlihy will honored for his work in celebration of his sixtieth birthday at PODC 2014.
- Michael Luby, Silvio Micali, and Joseph Sifakis will deliver the invited lectures at PODC 2014.
- The 2014 Dijkstra Prize call for nominations has been issued.
- The PODC 2014 workshops have been chosen and are now organizing.
- Follow PODC on Twitter @podc_conference and hash tag #PODC2014.
- PODC 2013 was held in Montréal, on July 22-24, 2013.
- The PODC 2013 proceedings are now available online.
- The 2013 Dijkstra Prize was awarded to Nati Linial.
- The 2013 Dissertation Award was awarded jointly to Dr. Shiri Chechik and Dr. Danupon Nanongkai.
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