<div dir="ltr"><p class="MsoNormal" align="center" style="font-size:12.8000001907349px;text-align:center"><b><span style="font-size:16pt;font-family:'Bookman Old Style'"> </span></b></p><p class="MsoNormal" align="center" style="font-size:12.8000001907349px;text-align:center"><b><span style="font-size:16pt;font-family:'Bookman Old Style'">Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC)</span></b></p><p class="MsoNormal" align="center" style="font-size:12.8000001907349px;text-align:center"><span style="font-size:14pt;font-family:'Bookman Old Style'">@ Eurosys 2015</span></p><p class="MsoNormal" align="center" style="font-size:12.8000001907349px;text-align:center"><span style="font-size:14pt;font-family:'Bookman Old Style'"><span class="" tabindex="0"><span class="">April 21, 2015</span></span>. Bordeaux, France</span></p><p class="MsoNormal" align="center" style="font-size:12.8000001907349px;text-align:center"><span style="font-family:'Bookman Old Style'"><a href="http://papoc.di.uminho.pt/" target="_blank">http://papoc.di.uminho.pt</a></span></p><p class="MsoNormal" align="center" style="font-size:12.8000001907349px;text-align:center"><span style="font-size:16pt;font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'">Many distributed applications today need low-latency, scalability, high availability, and geo-replication. The well-known tradeoff between Consistency, Availability, and Partition Tolerance (and low latency) led to the development of weakly consistent data stores, whose success made clear that “one size does not fit all” when it comes to consistency. Designing correct applications using weakly consistent shared data, however, is a challenging task.</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'">The PaPoC workshop will bring forth ideas on how to use, specify, and implement consistency semantics ranging from weaker to stronger models. It will bring together academic researchers, industrial researchers, and practitioners coming from different fields: distributed algorithms, distributed systems, databases, programming languages, and verification. Each of these fields has attacked the problem of consistency from a different angle and there is ample opportunity for synergies. PaPoC is the direct successor of the EuroSys 2014 Workshop on Principles and Practice of Eventual Consistency, which was attended by approximately 40 researchers from the above fields.</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'">Submissions should be short papers (2 pages or more) on cutting-edge work, even if ongoing, or vision papers. Accepted papers will be published in ACM Digital Library only upon the request of the authors. Examples of relevant discussion topics include:</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Design principles, correctness conditions, and programming patterns for scalable distributed data systems.</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Techniques for weak consistency: session guarantees, causal consistency, operational transformation, conflict-free replicated data types, monotonic programming, state merge, commutativity, etc.</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Consistency vs. performance and scalability trade-offs: guiding developers, controlling the system.</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Analysis and verification of weakly consistent programs.</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Strengthening guarantees of weakly consistent system: transactions, fault tolerance, security, ensuring invariants, bounding metadata size, and controlling divergence.</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Platform guarantees vs. application involvement: guiding developers, controlling the system.</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'">More information about the conference can be found in the conference website</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"><a href="http://papoc.di.uminho.pt/" target="_blank">http://papoc.di.uminho.pt</a></span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><b><span style="font-family:'Bookman Old Style'">IMPORTANT DATES</span></b></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><i><span style="font-family:'Bookman Old Style'">Paper submission (NEW):</span></i><span style="font-family:'Bookman Old Style'"> <span class="" tabindex="0"><span class="">February 17, 2015</span></span></span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><i><span style="font-family:'Bookman Old Style'">Notifications:</span></i><span style="font-family:'Bookman Old Style'"> <span class="" tabindex="0"><span class="">March 6, 2015</span></span></span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><i><span style="font-family:'Bookman Old Style'">Workshop: </span></i><span style="font-family:'Bookman Old Style'"><span class="" tabindex="0"><span class="">April 21, 2015</span></span> (in Bordeaux, France - colocated with Eurosys 2015)</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><b><span style="font-family:'Bookman Old Style'">ORGANIZATION</span></b></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><i><span style="font-family:'Bookman Old Style'">Program Chairs</span></i></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Carlos Baquero (INESC TEC & University of Minho, Portugal)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Marco Serafini (Qatar Computing Research Institute, Qatar)</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><i><span style="font-family:'Bookman Old Style'">Program Committee</span></i></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Peter Alvaro (UC Berkeley, USA)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Sebastian Burckhardt (Microsoft Research, USA)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Sean Cribbs (Basho Technologies Inc., USA)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Wojciech Golab (University of Waterloo, Canada)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Rachid Guerraoui (École Polytechnique Fédérale de Lausanne, Switzerland)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Lindsey Kuper (Intel Labs, USA)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Rune Skou Larsen (Trifork, Denmark)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Fernando Pedone (University of Lugano (USI), Switzerland)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Rodrigo Rodrigues (NOVA-LINCS & NOVA University of Lisbon, Portugal)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Kapil Vaswani (Microsoft Research, India)</span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><span style="font-family:'Bookman Old Style'"> </span></p><p class="MsoNormal" style="font-size:12.8000001907349px"><i><span style="font-family:'Bookman Old Style'">Steering Committee</span></i></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Peter Bailis (UC Berkeley, USA)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Alexey Gotsman (IMDEA Software, Spain)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Nuno Preguiça (NOVA-LINCS & NOVA University of Lisbon, Portugal)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Marc Shapiro (INRIA & LIP6, France)</span></p><p style="font-size:12.8000001907349px"><span style="font-family:Symbol">·<span style="font-stretch:normal;font-size:7pt;font-family:'Times New Roman'">      </span></span><span style="font-family:'Bookman Old Style'">Justin Sheehy (VMware Inc., USA)</span></p><div><span style="font-family:'Bookman Old Style'"><br></span></div><div><br></div>-- <br><div class="gmail_signature">Sean Cribbs <<a href="mailto:sean@basho.com" target="_blank">sean@basho.com</a>><br>Sr. Software Engineer<br>Basho Technologies, Inc.<br><a href="http://basho.com/" target="_blank">http://basho.com/</a></div>
</div>