PODC's content-placement problem is unusual: the submission has no page limit, but only the abstract and the first 10 pages after the title page are guaranteed to be read. Everything else — including most of your proofs — is read at the committee's discretion. So the split is not "paper vs. appendix" but "decision-critical (must be in 10 pages) vs. verification-detail (may be deferred)." Get it wrong and a reviewer decides against a paper whose key idea sat on page 15.
Anything that decides ACCEPTANCE -> first 10 pages after the title page (guaranteed read)
Anything that only VERIFIES it -> full version / appendix (read at the committee's discretion)
Decision-critical means: the model box, the theorem statements, the delta over prior work, and enough of the proof to convince a reviewer the full proof exists (the key lemma or the proof idea). Verification-detail means: routine calculations, standard-lemma proofs, symmetric cases, and the long technical core once its idea has been conveyed.
| Element | Why it cannot be deferred |
|---|---|
| The model box | A reviewer cannot judge a theorem whose model they must reconstruct from page 14 |
| Theorem statements (all main results) | The contribution is the theorems; they anchor the whole review |
| Positioning / delta over prior bounds | Novelty is judged here; a buried comparison reads as none |
| The key idea / hardest proof step (at least a sketch) | The reviewer must believe the proof closes; a sketch of the crux earns that belief |
| Any matching lower bound's statement and idea | Optimality is a headline claim; its idea belongs up front |
Deferred does not mean absent: every deferred proof must be present in the submitted full version
and reachable by an exact cross-reference. "Proof omitted" with no full version is a soundness
red flag, not a space-saving move (see podc-reproducibility).
The most consequential supplementary decision is the track:
| You have... | Choose | Content shape |
|---|---|---|
| A complete result with full proofs | Regular paper | 10-page merits case + full version with all proofs |
| A result whose full version is/will be published elsewhere, or work in progress, or a small contribution | Brief Announcement | ≤5-page self-contained submission; published ≤3 pages |
A Brief Announcement is not a place to dump an incomplete regular paper — it is a complete, small
statement of a result (or an announcement of one proved in full elsewhere). If your proof will not
close by the deadline, a Brief Announcement timestamps the idea honestly and leaves a full paper open
for a later venue; a regular paper with a gap is simply rejected. See podc-submission and
podc-workflow for the timing.
[Track] regular paper / brief announcement — justified by proof completeness and length
[First-10-pages audit] model box / theorems / delta / key proof idea / lower-bound idea all present?
[Deferred correctly] routine proofs, symmetric cases, extended relwork, sim details in the full version?
[Reachability] every deferred proof present in the full version with an exact cross-reference?
[Fix queue] <content to promote into 10 pages; proofs to restore to the full version>