Call for Papers
Consistency is one of the fundamental challenges of distributed computing. While stronger consistency models can be easier for programmers to reason about, weaker consistency models often provide better availability and performance. Beyond the well-known tension captured by the CAP theorem, many nuanced consistency models and algorithms have been developed for different purposes—yet checking whether a system actually satisfies a given consistency model remains a challenging problem.
SCCP 2026 invites contributions from researchers and practitioners working on any aspect of consistency checking, from theory to systems to tools. We welcome work from the perspectives of distributed systems, programming languages, formal methods, databases, concurrent programming, and verification.
Topics of Interest
- Algorithms and complexity of consistency checking
- Formalsemantics of consistency modelsandisolation levels
- Practical systemsfor consistency checking
- Approximate checking techniques with guarantees
- Checking weak, hybrid,and configurable isolation levels
- Consistency checking in distributed and geo-distributed systems
- Consistency checking for conflict-free replicated data types (CRDTs)
- Testing, debugging, and validation tools for database consistency
- Formal methods for consistency checking
- Benchmarks andempirical studies of consistency violations
- Emerging applications of consistency checking
- Industry experience and lessons from deployed checking systems
Submission Types
SCCP 2026 invites submissions of two types:
- Workshop papers (expected 4 pages excluding references): original contributions, experience reports, or work in progress with initial validation.
- Extended abstracts (up to 1 page): preliminary or provocative ideas, emerging trends, recent experiences, ongoing results, or new interpretations or discoveries derived from previously published work.
For the workshop paper submissions, longer proposals are permitted, but PC members are mainly expected to read the first 4 pages.
Submission Guidelines
All submissions should be written in English and submitted in PDF format.
The review process follows a double-blind policy. Authors must make a good-faith effort to anonymize their submissions and avoid revealing their identities, either explicitly or implicitly (e.g., through references or acknowledgments). Institutional affiliations should also be anonymized.
We suggest the ACM template for LaTeX or MS Word. If using LaTeX:
\documentclass[sigplan,review]{acmart}
\renewcommand\footnotetextcopyrightpermission[1]{}
\settopmatter{printfolios=true,printacmref=false}
Authors of accepted workshop papers may choose to have their papers published in the workshop proceding with VLDB.
Submission site: to appear
The Microsoft CMT service was used for managing the peer-reviewing process for this conference. This service was provided for free by Microsoft and they bore all expenses, including costs for Azure cloud services as well as for software development and support.
For questions, contact the Program Chair.
Important Dates
| Submission deadline | June 26, 2026 |
|---|---|
| Notification date | July 24, 2026 |
| Camera-Ready deadline | August 7, 2026 |
| Workshop | August 31, 2026 |
All deadline times are 23:59 hrs AoE.