Decide the venue before drafting. PODS — the ACM SIGMOD/SIGACT Symposium on Principles of Database Systems — is the theoretical-foundations symposium held jointly with SIGMOD each year. Its papers are theorems about data management: models, query languages, complexity bounds, dichotomies, logic, and provably optimal algorithms. A technically strong paper whose real contribution is a faster system, a benchmark win, or an engineering artifact is respected and then rejected as out of scope — that paper is SIGMOD/VLDB/ICDE. PODS reviewers read for a provable, foundational statement about a cleanly defined model.
The decisive question is rarely "is this about databases?" but "is the contribution a theorem or a system?" If the headline is a bound, a dichotomy, a semantics, an expressiveness result, or an algorithm with a matching lower bound, it is PODS-shaped. If the headline is throughput, latency, or accuracy on real workloads — even with clever theory inside — its home is a systems-DB flagship. PODS and SIGMOD share a week and a hallway but not a bar for acceptance.
| Signal in your project | Better home | Why |
|---|---|---|
| A bound, dichotomy, semantics, or provably optimal algorithm in a data model | PODS | The database-theory symposium; results are theorems with proofs |
| A system, index, or optimizer evaluated on real workloads for performance | SIGMOD / VLDB / ICDE | The systems-DB flagships; evidence is measured, not proved |
| Database theory, but you want the EDBT/ICDT federation or missed the PODS cycle | ICDT | PODS's sister theory venue; overlapping community and reviewer pool, different calendar |
| Pure logic / finite model theory with no data-management payoff | LICS / ICALP / STOC / FOCS | Theory venues; PODS wants the data-management motivation to be central |
| A deep, long development beyond a 15-page symposium result | TODS / LMCS / JACM / VLDBJ | Journals with no symposium page ceiling; often the full-version home |
| Applied ML-for-data with empirical validation as the point | SIGMOD / VLDB / a ML venue | Not a PODS theorem; route to where the evidence is measured |
Two quick tests sharpen a borderline verdict:
Fit is necessary but not sufficient. A conjecture with partial evidence but no proof is a workshop or a Gems-of-PODS talk, not a research paper; a theorem whose proof only handles a special case needs the general result or an honest scope; a sprawling development that cannot breathe in 15 pages plus appendix may belong in a journal first, with a PODS extended abstract of the core theorem. Submitting a half-proved result costs a full cycle even when the topic is perfect.
[Scope] scan the last two PODS proceedings (dblp db/conf/pods, PACMMOD PODS track) for your
subarea -> 3+ recent papers = a reviewer pool exists; 0 = mismatch or ICDT/LICS territory
[Citations] is your bibliography majority PODS/ICDT/LICS/TODS/JACM, or majority SIGMOD/VLDB?
-> majority systems venues => reviewers may read you as a systems paper; reframe the intro
[Calendar] PODS runs two cycles a year; compare the next PODS cycle with ICDT's and the systems
deadlines, and route to the nearest honest fit rather than idling
[Contribution] theorem (bound/dichotomy/semantics/optimal algorithm) or measured system?
[Model] is there a cleanly defined data/query model the result is about?
[PODS vs ICDT] data-management theory with the SIGMOD community pull -> PODS; EDBT/ICDT federation
fit or calendar -> ICDT
[Systems check] performance is the headline -> SIGMOD/VLDB/ICDE, not PODS
[Verdict] PODS / ICDT / systems flagship / journal-first, with a one-line reason
Run this before the writing skills; a wrong venue decision wastes every later step. When the verdict
is PODS, continue with pods-workflow for the two-cycle calendar and pods-writing-style for the
paper shape.