<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:12.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:289938243;
mso-list-template-ids:831566764;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7 ;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1
{mso-list-id:527834268;
mso-list-template-ids:1962321502;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:\F0B7 ;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:\F0A7 ;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0in;}
ul
{margin-bottom:0in;}
--></style>
</head>
<body lang="EN-US" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" style="margin-bottom:12.0pt"><b><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Call for Papers</span></b><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">---------------------------------------------------------------------------------------</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">PaPoC 2025 - 12th Workshop on Principles and Practice of Consistency for Distributed Data</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Co-located with Eurosys 2025 and ASPLOS 2025, Rotterdam, the Netherlands, Monday, March 31st, 2025. </span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><a href="https://urldefense.com/v3/__https://papoc-workshop.github.io/2025/__;!!IBzWLUs!VW7XbCnfLNLuyIMQQwuvaa7O3aPggmQfe9M2Dc3NDvey93yg9gcgmDiZtUoU8UZfYNRgkKRMzEOuSKz4feY8x_5FuyjFVslp5kjAvmP-$"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">https://papoc-workshop.github.io/2025/</span></a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><a href="https://urldefense.com/v3/__https://papoc25.hotcrp.com/__;!!IBzWLUs!VW7XbCnfLNLuyIMQQwuvaa7O3aPggmQfe9M2Dc3NDvey93yg9gcgmDiZtUoU8UZfYNRgkKRMzEOuSKz4feY8x_5FuyjFVslp5h361djG$"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">https://papoc25.hotcrp.com/</span></a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><b><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Important Dates</span></b><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">---------------------------------------------------------------------------------------</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<table class="MsoNormalTable" border="0" cellspacing="0" cellpadding="0" style="border-collapse:collapse">
<tbody>
<tr style="height:19.9pt">
<td valign="top" style="border:solid #E9EBEC 1.0pt;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:19.9pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Submission deadline</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
<td valign="top" style="border:solid #E9EBEC 1.0pt;border-left:none;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:19.9pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Jan 15, 2025</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
</tr>
<tr style="height:20.35pt">
<td valign="top" style="border:solid #E9EBEC 1.0pt;border-top:none;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:20.35pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Notification date</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
<td valign="top" style="border-top:none;border-left:none;border-bottom:solid #E9EBEC 1.0pt;border-right:solid #E9EBEC 1.0pt;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:20.35pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Feb 19, 2025</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
</tr>
<tr style="height:21.25pt">
<td valign="top" style="border:solid #E9EBEC 1.0pt;border-top:none;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:21.25pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Camera-Ready deadline</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
<td valign="top" style="border-top:none;border-left:none;border-bottom:solid #E9EBEC 1.0pt;border-right:solid #E9EBEC 1.0pt;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:21.25pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Feb 28, 2025</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
</tr>
<tr style="height:15.85pt">
<td valign="top" style="border:solid #E9EBEC 1.0pt;border-top:none;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:15.85pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Workshop</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
<td valign="top" style="border-top:none;border-left:none;border-bottom:solid #E9EBEC 1.0pt;border-right:solid #E9EBEC 1.0pt;padding:5.0pt 5.0pt 5.0pt 5.0pt;height:15.85pt;overflow-wrap:break-word;overflow:hidden">
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">March 31, 2025</span><span style="font-size:11.0pt"><o:p></o:p></span></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal" style="margin-bottom:12.0pt"><o:p> </o:p></p>
<p style="margin:0in"><b><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Submissions</span></b><o:p></o:p></p>
<p style="margin:0in"><a href="https://urldefense.com/v3/__https://papoc25.hotcrp.com/__;!!IBzWLUs!VW7XbCnfLNLuyIMQQwuvaa7O3aPggmQfe9M2Dc3NDvey93yg9gcgmDiZtUoU8UZfYNRgkKRMzEOuSKz4feY8x_5FuyjFVslp5h361djG$"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:#1155CC">https://papoc25.hotcrp.com/</span></a><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">---------------------------------------------------------------------------------------</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">The PaPoC workshop invites three types of submissions:</span><o:p></o:p></p>
<p class="MsoNormal"><br>
<br>
<o:p></o:p></p>
<ul style="margin-top:0in" type="disc">
<li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l1 level1 lfo1;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Short papers (up to 6 pages excluding bibliography) with original contributions, experience reports, or work-in-progress reports (supported by initial validations);<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l1 level1 lfo1;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Full papers (up to 12 pages excluding bibliography) which may be concurrently submitted (or accepted) to other venues and do not have the option to be published in the ACM library;<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l1 level1 lfo1;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Lightning-talk abstracts, summarized in a maximum of 300 words, reporting preliminary or crazy ideas, new trends, recent experience, or ongoing results.<o:p></o:p></span></li></ul>
<p class="MsoNormal" style="margin-bottom:12.0pt"><o:p> </o:p></p>
<p style="margin:0in"><b><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Aim and Scope</span></b><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">---------------------------------------------------------------------------------------</span><o:p></o:p></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><o:p> </o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Since its inception in 2014, the PaPoC workshop series has brought together researchers and practitioners who seek to develop better techniques and a better understanding
of consistency in distributed systems. We welcome contributions from a wide range of backgrounds: system development, distributed algorithms, concurrency, fault tolerance, databases, programming languages, blockchain, and verification. </span><o:p></o:p></p>
<p class="MsoNormal" style="margin-bottom:12.0pt"><o:p> </o:p></p>
<p style="margin:0in"><b><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Topics</span></b><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">---------------------------------------------------------------------------------------</span><o:p></o:p></p>
<p style="mso-margin-top-alt:13.0pt;margin-right:0in;margin-bottom:13.0pt;margin-left:0in">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">The workshop is looking for contributions on the following, and associated, topics:</span><o:p></o:p></p>
<ul style="margin-top:0in;padding-inline-start:48px" type="disc">
<li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Design principles, correctness conditions, and programming patterns for scalable distributed data management systems.<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Techniques for scaling and improving the performance of strongly consistent systems (e.g., Paxos-like algorithms, state-machine replication protocols and distributed transactional systems).<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Techniques for weak and hybrid consistency (such as session guarantees, causal consistency, operational transformation, conflict-free replicated data types (CRDTs), invariant-preserving replicated
data types, monotonic programming, state merging, operation commutativity, etc).<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Data consistency in geo-replicated, peer-to-peer, and edge computing systems.<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">How to expose consistency vs. performance and scalability trade-offs in the programming model, and how to help developers choose.<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">How to support composed operations spanning multiple objects (transactions, sagas, workflows).<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Techniques or tools to aid the development of replicated data (e.g., reasoning, analysis and verification of application programs using storage systems with various consistency models, visualization
techniques for distributed dependencies or state merges, etc.).<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Formal methods for distributed systems dealing with strong/weak consistent data (such as techniques for verifying safety, liveness or consistency properties, convergence verification, etc.)<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:0in;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Implementation techniques and optimisations for replicated data types to improve fault tolerance, security, application-level invariants, metadata usage, and controlling divergence.<o:p></o:p></span></li><li style="color:black;margin-top:0in;margin-bottom:13.0pt;mso-list:l0 level1 lfo2;vertical-align:baseline">
<span style="font-size:11.0pt;font-family:"Arial",sans-serif">Studies of performance, scalability, and programmability for the aforementioned systems.<o:p></o:p></span></li></ul>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><b><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Organizing Committee</span></b><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">---------------------------------------------------------------------------------------</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">2025 Program Chairs: </span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Davide Frey, Inria Rennes - Bretagne Atlantique, France</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Gowtham Kaki, University of Colorado Boulder, USA</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Steering Committee</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Peter Bailis, Sisu Data</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Carlos Baquero, HASLab, INESC TEC & University of Minho, Portugal</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Annette Bieniusa, University of Kaiserslautern, Germany</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Carla Ferreira, Universidade NOVA de Lisboa, Portugal</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Alexey Gotsman, IMDEA Software Institute, Spain</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Martin Kleppmann, TU Munich, Germany</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Heather Miller, Carnegie Mellon University, USA</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Nuno Preguiça, NOVA-LINCS & NOVA University of Lisbon, Portugal</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Marco Serafini, University of Massachusetts Amherst, USA</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Marc Shapiro, Sorbonne-Universités—LIP6 & Inria, France</span><o:p></o:p></p>
<p style="margin:0in"><span style="font-size:11.0pt;font-family:"Arial",sans-serif;color:black">Justin Sheehy, Akamai Technologies, USA</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>