The 1st Symposium on Checking Consistency Principles (SCCP) will take place at Boston, in conjunction with VLDB.
About SCCP
SCCP is a new venue dedicated to the formal verification, runtime checking, and principled analysis of consistency models in databases, distributed systems, and concurrent programs.
The workshop focuses on checking: how can we verify, test, monitor, or certify that a system satisfies a given consistency model?
Consistency defines the semantic contract of shared-state systems, spanning isolation levels in databases, memory models, and distributed consistency models. While these definitions have been studied extensively, checking whether an observed execution satisfies a given consistency model remains a young and growing area. This challenge is particularly relevant in modern settings such as cloud services, where system code and execution environments are inaccessible and configurations vary widely.
This workshop focuses on consistency checking as a first-class problem. Its goals are to systematize existing work, unify terminology and core concepts, and identify directions for future research. SCCP brings together researchers and practitioners from distributed systems, programming languages, formal methods, and databases to advance the state of the art in consistency checking.
Topics of Interest
Topics of interest include (but are not limited to):
- 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
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.