Siam Journal On Computing

SIAM Journal on Computing (siam-journal-on-computing)

Journal positioning

SIAM Journal on Computing (SICOMP), published by the Society for Industrial and Applied Mathematics, is a foundational venue for theoretical computer science. Its defining character is rigorous theory of computation: the design and analysis of algorithms, computational complexity, data structures, cryptography, randomness, distributed and parallel computation, and the mathematical foundations of computing — with theorems and proofs at the core. SICOMP is where many landmark TCS results appear in their full, refereed journal form, often as the archival version of work first presented at conferences such as STOC and FOCS. A paper is judged on the importance of its theoretical contribution and the full correctness of its proofs, addressed to the theory-of-computing research community. This skill is a fit / venue-selection / re-framing tool. It does not replace the journal's current official submission guidelines or the editorial board's judgment. Before submitting, re-check the live author instructions on the SICOMP / SIAM site.

When to trigger

• The author names SICOMP as the target for a rigorous theoretical-computer-science result in algorithms or complexity.
• An author is preparing the full journal version of a STOC/FOCS-type result and is choosing between SICOMP and Journal of the ACM.
• A manuscript proves new algorithmic guarantees, complexity bounds, or hardness results and needs an archival, fully refereed home.
• The author needs SICOMP's expectations on full rigor, exposition, and submission norms before committing.

Scope & topic fit

• Algorithm design and analysis: exact, approximation, online, randomized, and parameterized algorithms with proved guarantees.
• Computational complexity: complexity classes, reductions, circuit and communication complexity, hardness of approximation, and lower bounds.
• Data structures: provable time/space trade-offs and lower bounds.
• Cryptography and pseudorandomness: rigorous security definitions, constructions, and reductions; expanders and derandomization.
• Distributed, parallel, and online computation with rigorous performance analysis.
• Foundations adjacent to TCS: computational learning theory, algorithmic game theory, and quantum computation where the contribution is theorems.

Method & evidence bar

• Results must be complete and fully proved: every theorem established rigorously, with precise model and assumptions, no gaps, and no reliance on empirical evidence in place of proof.
• Theoretical significance is required: the contribution must advance the theory — a better algorithm with proved bounds, a new complexity separation or hardness result, a new technique — not an implementation or benchmark study.
• Proofs must be referee-verifiable in full; the computational model, resource measures, and constants/asymptotics must be stated precisely, and lemmas proved or precisely cited.
• The relationship to any conference version must be stated; the journal version is expected to contain full proofs and complete details omitted from the extended abstract.
• arXiv/ECCC posting is standard and encouraged; there is no data/code-deposition norm, though any computer-assisted argument must be documented for independent checking. MSC/ACM classification should be assigned accurately.
• Prior and concurrent results must be credited precisely, with the improvement over known bounds stated exactly.

Structure & house style

• Standard TCS structure: abstract, introduction stating results and significance, model/preliminaries, technical sections with theorems and proofs, and references; length follows the needs of a complete, rigorous argument.
• The introduction must state the main results precisely, give the theoretical significance, position the bounds against prior work, and sketch the key technical ideas.
• Exposition must be rigorous and clear: the model and resource measures are defined precisely, asymptotics and constants are explicit, and proofs are organized so an expert can verify each step.
• Long arguments may be modularized into lemmas and propositions; technical case analyses or auxiliary computations may go to appendices.
• A clear statement of the contribution relative to any conference version belongs in the introduction.
• LaTeX is expected; SIAM has specific style and macro conventions to follow.