The 7th Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) will take place on April 27, 2020, in Heraklion, Crete, Greece, and is co-located with the EuroSys 2020 conference. It is a successor to previous workhops in this series, PaPeC 2014, PaPoC 2015, PaPoC 2016, PaPoC 2017, PaPoC 2018 and PaPoC 2019 which brought together researchers and practitioners in the areas of distributed systems, programming languages, databases, and concurrent programming.

This workshop investigates the trade-offs among different consistency models for distributed systems, and their operational characteristics. While stronger consistency models can be easier for programmers to reason about, weaker consistency models can often provide better availability and performance. Beyond the well-known tension between Consistency, Availability, and Partition-tolerance, as captured by the CAP theorem, many nuanced consistency models and algorithms have been developed for different purposes. Distributed consistency models are needed in large-scale datacenter-based systems, but also in edge networks with wide geographic distribution, and even in end-user applications running on mobile devices with intermittent network connectivity. It is clear that there is no universally best solution for sharing data in these different settings.

In order to address these challenges, the PaPoC workshop brings together theoreticians and practitioners from different horizons: system development, distributed algorithms, concurrency, fault tolerance, databases, programming languages and verification, including both academia and industry. Topics of interest include models and mechanisms for consistency in distributed systems, including replicated data types/CRDTs, causal consistency, transaction isolation levels, hybrid consistency models such as RedBlue consistency, analysis of program correctness with regard to different consistency models, formal verification of consistency properties, and studies of performance, scalability, and programmability.

PaPoC 2020 will take place on April 27, 2020. It is colocated with EuroSys 2020 in Heraklion, Crete, Greece.

Programme

The keynote at PaPoC will be given by Hagit Attiya (Professor, The Harry W. Labov and Charlotte Ullman Labov Academic Chair, Faculty of Computer Science, Technion, Israel).

Keynote title and abstract TBC.

We are seeking two types of contribution to the PaPoC 2020 programme: short papers (5-6 pages) and contributed talks (summarized in 2-page extended abstracts). Please see the Call for Papers for further details. We look forward to seeing your submissions!

Important Dates

Submission deadline: February 21, 2020
Notification date: March 13, 2020
Camera-Ready: March 27, 2020
Workshop: April 27, 2020