executing-plans
executing-plans
Use when executing an implementation plan in the current session as the implementer yourself — your human partner chose inline execution, or no subagent tool is available
itcs-submissionUse when auditing an ITCS submission for HotCRP readiness — the early-September abstract-then-paper deadlines, single-column >= 11pt format with no hard page limit, the first-10-pages merits window, complete proofs of all central claims, the lightweight double-blind sweep, and the archival-prior-publication check.
Independent GitHub snapshot · Automated classification · Original documentation governs
Run this audit before uploading to the ITCS HotCRP site. ITCS papers publish open access in
LIPIcs and are reviewed lightweight double-blind with no rebuttal, so the submitted PDF has
to be complete, self-defending, and correctly anonymized on the first and only try. Every rule
below was read from the ITCS 2026/2025 calls on 2026-07-09 via search renderings of the
itcs2026.hotcrp.com and itcs-conf.org URLs (see
../../resources/official-source-map.md); treat them as
a one-cycle snapshot and reopen the live call first.
ITCS separates the abstract/registration from the full-paper submission, and the abstract cutoff is earlier:
lipics-v2021 class is a
camera-ready requirement, not a submission one — see
itcs-camera-ready).itcs-writing-style).itcs-supplementary).ITCS anonymity is lightweight: hide the authors in the PDF, but keep the references honest and allow a public full version. The leak surface is narrower than an empirical venue's (no code, no data), but real:
# Mechanical pass on the submission PDF
pdfinfo paper.pdf | grep -Ei 'author|creator|producer' # scrub metadata identity
pdftotext paper.pdf - | grep -nEi 'thank|acknowledg|grant|supported by|our (previous|prior|earlier) (work|paper)' | head
pdftotext paper.pdf - | grep -nEi '\\bwe (previously|earlier) (showed|proved)\\b' | head
itcs-related-work).| Finding at audit time | Severity | Real fix |
|---|---|---|
| Central claim lacks a complete proof | Substantive reject-grade | Add the full proof (appendix); do not defer to the preprint |
| Merits not legible within ~10 pages | High | Restructure so model+motivation+results come first |
| Author identity in PDF metadata/acknowledgements | Anonymity violation | Scrub metadata; remove acknowledgements/funding |
| First-person self-citation ("our prior [12]") | Anonymity leak | Rewrite in third person; keep the reference |
| References anonymized/removed | Breaks the lightweight rule; reads evasive | Restore normal citations |
| Abstract/authors not registered by the earlier cutoff | No submission slot | Nothing fixes this post-deadline — calendar it now |
| Result already at another archival venue | Dual-submission violation | Withdraw or reroute; journal parallel is OK |
| Font < 11pt or multi-column | Formatting non-compliance | Recompile single-column, >= 11pt |
[ITCS submission status] ready / blocked / needs work
[Registration] title/abstract/authors/conflicts locked by the earlier deadline? yes/no
[Format] single-column, >= 11pt? merits legible within ~10 pages? yes/no
[Proofs] every central claim fully proved IN the PDF (not only the preprint)? yes/no
[Anonymity] metadata clean, self-cites neutralized, references intact? yes/no
[Prior publication] not at another archival venue (journal parallel OK)? yes/no
[Fix queue] <ordered, with owners and dates before the early-September cutoff>