stoc-review-process
GitHub解析STOC论文评审流程，涵盖SIGACT双盲机制、HotCRP系统、外部子审稿人角色及十一月至二月的决策周期。指导作者针对PC成员与专家撰写内容，并依据正确性、显著性等维度优化稿件以应对录用标准。
Trigger Scenarios
Install
npx skills add brycewang-stanford/Awesome-Journal-Skills --skill stoc-review-process -g -y
SKILL.md
Frontmatter
{
"name": "stoc-review-process",
"description": "Use when reasoning about how a STOC (ACM Symposium on Theory of Computing) submission is evaluated — the SIGACT program-committee model with external subreviewers, HotCRP mechanics, double-blind conflicts, the November-to-February decision arc, and what best-paper designation and rejection each actually mean."
}
STOC Review Process
Model for the anchor cycle: STOC 2026 submissions went to HotCRP
(stoc26.hotcrp.com) by November 4, 2025, and decisions were emailed on or
before February 1, 2026 — a roughly thirteen-week arc with no author-visible
intermediate stage announced in the CFP (checked 2026-07-08). The PC chair was
Artur Czumaj (University of Warwick); chairs and committees are reconstituted
every year by SIGACT, so treat all names as one-cycle facts.
Who actually reads the paper
STOC uses the classical theory model, not the ML area-chair pyramid:
- A single program committee of several dozen theoreticians covers the whole field; each paper is assigned to a handful of PC members.
- PC members widely delegate detailed proof-reading to external subreviewers — often the postdoc or specialist closest to the sub-area. In practice the most technically engaged report on your paper is frequently written by someone not on the PC at all.
- The PC member then argues the paper's case (or its dismissal) in HotCRP discussion and, for contested papers, at the (physical or virtual) PC meeting. Papers near the boundary live or die on whether one PC member is willing to champion them against the accept-rate arithmetic.
Consequences for authors: write the overview for the cross-area PC member, the proofs for the specialist subreviewer, and the first page for the five-minute skim that decides how much attention the rest receives.
What the committee optimizes
STOC self-defines as the SIGACT flagship for the theory of computation, and its committee heuristics follow:
| Evaluation axis | The question in the PC discussion |
|---|---|
| Correctness | Has anyone verified the central argument? Any unresolved doubts sink the paper |
| Significance | Does this change what the field knows — barrier broken, problem closed, model clarified? |
| Breadth of interest | Can a non-specialist on the PC see why it matters? (STOC's distinguishing axis vs. specialized venues) |
| Novelty of technique | Will the machinery be reused by others? |
| Presentation | Could the committee actually follow the guaranteed-read pages? |
Note what is absent: no experiments axis, no artifact axis, no checklist score.
And note the STOC-specific weight on breadth — a technically flawless result
whose interest is confined to one subcommunity is precisely the paper that gets
"strong work, better suited to
Timeline anatomy (2026 cycle)
Nov 1, 2025 opt-in LLM pre-submission feedback upload (experiment; authors-only output)
Nov 4, 2025 submission deadline, 4:59pm EST (not AoE)
Nov-Jan assignment -> subreviews -> PC discussion on HotCRP
possible chair-mediated author queries (custom, not guaranteed)
<= Feb 1, 2026 accept/reject notification by email
Mar 31, 2026 camera-ready (AoE) + full version public on arXiv/ECCC
Jun 22-26, 2026 conference (Salt Lake City; TheoryFest program)
No rebuttal round existed in this arc; stoc-author-response covers what to do
instead. Reviews are typically released with the decision, at varying levels of
detail.
Double-blind mechanics, HotCRP flavor
- STOC 2026 was double-blind: reviewers were not shown author identities, and submissions had to avoid revealing them. Conflicts are declared on HotCRP by authors against PC members; incomplete conflict declaration is an integrity issue, not an oversight.
- Subreviewer anonymity runs the other way too — you will likely never learn who verified your proofs. Do not fish for reviewer identity on social media or at the conference; theory is a small community and this is remembered.
Where author leverage exists (and doesn't)
Because the process has no author-visible stages between upload and decision, all leverage is front-loaded:
- Bid-stage leverage: the HotCRP-form abstract and topic selections decide which PC members bid; a mis-scoped abstract routes the paper to reviewers who will judge it by the wrong sub-area's standards.
- Assignment leverage: honest, complete conflict declaration protects the paper from a forced late reassignment to a less suitable reviewer.
- Champion leverage: the technical overview is written for the PC member who must defend the paper in discussion; give that person the three sentences they will repeat in the meeting.
- No leverage: contacting reviewers, lobbying the chair, or updating the preprint with "response to reviews" mid-cycle. None of these reach the decision; the last can violate anonymity rules.
Outcomes and their meanings
- Accept. All accepted papers get talks under the TheoryFest program. The PC may additionally designate up to four Best Papers (chosen by the PC subset without submissions), and all-student-author papers compete automatically for the Danny Lewin Best Student Paper Award (SIGACT prize pages, checked 2026-07-08).
- Reject. At a venue accepting a modest fraction of submissions (exact rate
per cycle: 待核实), rejection frequently reads "true and correct, but not
STOC-scale." The reviews distinguish which axis failed — correctness doubts
demand repair; significance doubts demand either a stronger result or a
better-matched venue (
stoc-topic-selection); breadth doubts often just mean SODA/CCC/ITCS was the right first stop. - Rejected papers commonly resurface at the next FOCS with visible
improvements; the reviewing pools overlap heavily, and committees notice both
improvement and its absence (
stoc-workflowplans this cycle).
Cycle-volatility warnings
- PC chair, committee, meeting format, review-form wording, and any feedback experiments are re-decided annually; the LLM-feedback program was explicitly labeled an experiment for 2026 (待核实 for future cycles).
- Double-blind is recent at STOC and its detailed rules (preprint interaction, conflict granularity) may be refined; re-read the live CFP each fall.
Output format
[Stage] pre-submission / under review / decided
[Reader model] <PC-member story vs subreviewer-proof story both present?>
[Committee axes at risk] correctness / significance / breadth / technique / presentation
[Timeline expectation] <next event and date, from the live cycle>
[If rejected] <axis that failed -> repair, re-scope, or re-route>
Version History
- 9f86f09 Current 2026-07-19 17:39
