ITCS Topic Selection
Decide the venue before drafting, and decide it on the axis ITCS actually selects on. ITCS — the
Innovations in Theoretical Computer Science conference — was founded (as Innovations in
Computer Science, 2010) to reward conceptual novelty: a new model, a new question, a
surprising connection, a direction the field had not thought to take. Its sibling flagships STOC
and FOCS reward the deepest, most polished result on questions the field already agrees are
hard. A technically strong paper whose real virtue is that it finally proves a known hard
theorem is respected and then, often, routed away from ITCS as "not innovative enough" — while a
bold, imperfect, genuinely new idea can be accepted here that STOC/FOCS would reject for want of
depth.
The routing question that matters most
For most theory papers the decisive question is not "is this good theory?" but "does this paper
give the community a new idea, or a stronger result on an existing idea?"
- If a reader's main takeaway is "I hadn't thought to ask that / model it that way / connect
those two areas" — that is an ITCS signal.
- If the main takeaway is "they finally proved / improved / tightened X" — that is a
STOC/FOCS/SODA signal, however elegant.
Both are valuable; ITCS is simply the venue whose PC is briefed to weight the first over the
second. When your paper has both a new idea and deep technical results, you have a genuine
choice, and the calendar and community fit break the tie.
Sibling-venue routing table
| Signal in your project |
Better home |
Why |
| A new model, definition, question, or connection with a first result showing it is alive |
ITCS |
The conceptual-novelty venue; "innovation" is the selection criterion, not a bonus |
| The deepest/tightest theorem of the year on an established question |
STOC / FOCS |
Depth-first general theory flagships; polish and difficulty are rewarded |
| A new or improved algorithm / data structure, discrete-algorithms flavor |
SODA |
Algorithms-centered; the ACM-SIAM discrete-algorithms community |
| A complexity result centered on classes, lower bounds, circuit/proof complexity |
CCC |
Computational Complexity Conference; specialist depth |
| A broad EATCS-scope algorithms/automata/logic result, single September-ish cycle |
ICALP |
Track A/B breadth; European TCS flagship |
| A cryptography result with a formal model and reductions |
TCC / CRYPTO / Eurocrypt |
Crypto-specialist venues; TCC especially for foundational crypto |
| A result too long, too incremental-over-your-own-prior, or needing full journal treatment |
A journal (JACM/SICOMP/ToC/...) |
No conference deadline or page pressure; simultaneous journal submission is even allowed alongside ITCS |
Conceptual shapes ITCS rewards
- A new model or definition — you hand the community an object it did not have (the
non-malleable-codes lineage). The definition is the contribution.
- A new algorithmic or complexity notion — a fresh way to say what "solving" means (the
pseudodeterministic lineage), reorganizing questions people already cared about.
- A surprising connection — tools from area X attack a problem in area Y that neither had
linked (the "quantum money from knots" lineage).
- A new question at a seam — a problem two mature areas could have posed together but never
did (interactive proofs meet learning; verification meets distributed networks).
- A conceptual reframing or "manifesto-with-teeth" — a position that changes what questions
look worth asking, backed by at least one theorem so it is not a mere opinion.
The three ITCS acceptance tests
Sharpen a borderline verdict with three quick tests the PC will apply:
- New-question test: after the abstract, does a reader think "I want to work on that" about
a question they had not previously posed? If the reaction is instead "impressive that they
proved it," the paper is depth-shaped -> STOC/FOCS.
- Not-empty-not-everything test: a new model is only interesting if it is neither trivial nor
all-powerful. Do you have at least one crisp result (a separation, a surprising possibility, an
impossibility) proving the model is alive? Without it, ITCS reads the paper as a definition in
search of a result.
- Survives-the-improvement test: if someone later proves a far stronger theorem inside your
model, does your framing still get credit? If yes, the idea is the contribution (ITCS). If
your paper's whole value is the current bound, route to a depth venue where the bound is the
point.
Evidence maturity, ITCS-style
Fit is necessary but not sufficient — but note ITCS's maturity ladder runs opposite to an
empirical venue's. A preliminary, incomplete, bold exploration of a genuinely new model is
more ITCS-appropriate than a fully mopped-up version whose novelty has worn off. What ITCS will
not accept is a new-model paper with no result at all (a definition with nothing proved) or a
"new" question that is actually a known question in disguise. The failure mode here is not "too
early" (as at STOC) but "not actually new" — do the related-work delta honestly first (see
itcs-related-work).
Cheap reconnaissance before committing
[Novelty] can you state your contribution as a NEW noun (a model, a notion, a connection)?
-> yes, and it's checkably new in the literature = ITCS-shaped
-> it's a better bound/algorithm on an existing noun = STOC/FOCS/SODA
[Scope] scan the last 2-3 ITCS programs (dblp conf/innovations, LIPIcs) for kindred papers
-> a cluster of "new model" papers in your area = a reviewer pool exists
[Calendar] ITCS has ONE deadline, early September, notification November, conference January.
Missed it? the next depth-venue deadline may beat waiting a year for ITCS.
Decision procedure
[Takeaway] is the reader's takeaway a new IDEA or a stronger RESULT?
[Shape] model / notion / connection / seam-question / reframing -> ITCS lane
[Alive] do you have >=1 crisp result showing the model is not empty and not everything?
[Sibling] depth on a known question -> STOC/FOCS; algorithms -> SODA; complexity -> CCC;
crypto model -> TCC; too long/incremental -> journal (journal submission is
even allowed simultaneously with ITCS)
[Verdict] ITCS / sibling venue / journal, with a one-line reason naming the new noun
Run this before the writing skills; a wrong venue decision wastes every later step. When the
verdict is ITCS, continue with itcs-workflow for the single-cycle
calendar and itcs-writing-style for the innovation-first
paper shape.
1---2name: itcs-topic-selection3description: Use when deciding whether a theoretical-computer-science result belongs at ITCS or should be routed to STOC, FOCS, SODA, CCC, ICALP, TCC, or a journal, and when distinguishing ITCS from its depth-first siblings by the conceptual-novelty test — is this a new question, model, or connection worth asking, rather than the deepest theorem of the year.4---56# ITCS Topic Selection78Decide the venue before drafting, and decide it on the axis ITCS actually selects on. ITCS — the9**Innovations in Theoretical Computer Science** conference — was founded (as *Innovations in10Computer Science*, 2010) to reward **conceptual novelty**: a new model, a new question, a11surprising connection, a direction the field had not thought to take. Its sibling flagships STOC12and FOCS reward the **deepest, most polished** result on questions the field already agrees are13hard. A technically strong paper whose real virtue is that it *finally proves a known hard14theorem* is respected and then, often, routed away from ITCS as "not innovative enough" — while a15bold, imperfect, genuinely new idea can be accepted here that STOC/FOCS would reject for want of16depth.1718## The routing question that matters most1920For most theory papers the decisive question is not "is this good theory?" but **"does this paper21give the community a new *idea*, or a stronger *result* on an existing idea?"**2223- If a reader's main takeaway is *"I hadn't thought to ask that / model it that way / connect24 those two areas"* — that is an ITCS signal.25- If the main takeaway is *"they finally proved / improved / tightened X"* — that is a26 STOC/FOCS/SODA signal, however elegant.2728Both are valuable; ITCS is simply the venue whose PC is briefed to weight the first over the29second. When your paper has both a new idea *and* deep technical results, you have a genuine30choice, and the calendar and community fit break the tie.3132## Sibling-venue routing table3334| Signal in your project | Better home | Why |35|---|---|---|36| A **new model, definition, question, or connection** with a first result showing it is alive | **ITCS** | The conceptual-novelty venue; "innovation" is the selection criterion, not a bonus |37| The **deepest/tightest theorem of the year** on an established question | **STOC / FOCS** | Depth-first general theory flagships; polish and difficulty are rewarded |38| A **new or improved algorithm / data structure**, discrete-algorithms flavor | **SODA** | Algorithms-centered; the ACM-SIAM discrete-algorithms community |39| A **complexity** result centered on classes, lower bounds, circuit/proof complexity | **CCC** | Computational Complexity Conference; specialist depth |40| A broad EATCS-scope algorithms/automata/logic result, single September-ish cycle | **ICALP** | Track A/B breadth; European TCS flagship |41| A **cryptography** result with a formal model and reductions | **TCC / CRYPTO / Eurocrypt** | Crypto-specialist venues; TCC especially for foundational crypto |42| A result too long, too incremental-over-your-own-prior, or needing full journal treatment | **A journal (JACM/SICOMP/ToC/...)** | No conference deadline or page pressure; simultaneous journal submission is even allowed alongside ITCS |4344## Conceptual shapes ITCS rewards4546- **A new model or definition** — you hand the community an object it did not have (the47 non-malleable-codes lineage). The definition *is* the contribution.48- **A new algorithmic or complexity notion** — a fresh way to say what "solving" means (the49 pseudodeterministic lineage), reorganizing questions people already cared about.50- **A surprising connection** — tools from area X attack a problem in area Y that neither had51 linked (the "quantum money from knots" lineage).52- **A new question at a seam** — a problem two mature areas could have posed together but never53 did (interactive proofs meet learning; verification meets distributed networks).54- **A conceptual reframing or "manifesto-with-teeth"** — a position that changes what questions55 look worth asking, *backed by at least one theorem* so it is not a mere opinion.5657## The three ITCS acceptance tests5859Sharpen a borderline verdict with three quick tests the PC will apply:6061- **New-question test:** after the abstract, does a reader think *"I want to work on that"* about62 a question they had not previously posed? If the reaction is instead *"impressive that they63 proved it,"* the paper is depth-shaped -> STOC/FOCS.64- **Not-empty-not-everything test:** a new model is only interesting if it is neither trivial nor65 all-powerful. Do you have at least one crisp result (a separation, a surprising possibility, an66 impossibility) proving the model is alive? Without it, ITCS reads the paper as a definition in67 search of a result.68- **Survives-the-improvement test:** if someone later proves a *far* stronger theorem inside your69 model, does your *framing* still get credit? If yes, the idea is the contribution (ITCS). If70 your paper's whole value is the current bound, route to a depth venue where the bound is the71 point.7273## Evidence maturity, ITCS-style7475Fit is necessary but not sufficient — but note ITCS's maturity ladder runs *opposite* to an76empirical venue's. A **preliminary, incomplete, bold** exploration of a genuinely new model is77*more* ITCS-appropriate than a fully mopped-up version whose novelty has worn off. What ITCS will78not accept is a new-model paper with **no result at all** (a definition with nothing proved) or a79"new" question that is actually a known question in disguise. The failure mode here is not "too80early" (as at STOC) but "not actually new" — do the related-work delta honestly first (see81[`itcs-related-work`](../itcs-related-work/SKILL.md)).8283## Cheap reconnaissance before committing8485```text86[Novelty] can you state your contribution as a NEW noun (a model, a notion, a connection)?87 -> yes, and it's checkably new in the literature = ITCS-shaped88 -> it's a better bound/algorithm on an existing noun = STOC/FOCS/SODA89[Scope] scan the last 2-3 ITCS programs (dblp conf/innovations, LIPIcs) for kindred papers90 -> a cluster of "new model" papers in your area = a reviewer pool exists91[Calendar] ITCS has ONE deadline, early September, notification November, conference January.92 Missed it? the next depth-venue deadline may beat waiting a year for ITCS.93```9495## Decision procedure9697```text98[Takeaway] is the reader's takeaway a new IDEA or a stronger RESULT?99[Shape] model / notion / connection / seam-question / reframing -> ITCS lane100[Alive] do you have >=1 crisp result showing the model is not empty and not everything?101[Sibling] depth on a known question -> STOC/FOCS; algorithms -> SODA; complexity -> CCC;102 crypto model -> TCC; too long/incremental -> journal (journal submission is103 even allowed simultaneously with ITCS)104[Verdict] ITCS / sibling venue / journal, with a one-line reason naming the new noun105```106107Run this before the writing skills; a wrong venue decision wastes every later step. When the108verdict is ITCS, continue with [`itcs-workflow`](../itcs-workflow/SKILL.md) for the single-cycle109calendar and [`itcs-writing-style`](../itcs-writing-style/SKILL.md) for the innovation-first110paper shape.