Skill UI

This comprehensive guide details how to architect a lengthy, complex academic paper into a single, highly navigable PDF. It establishes a two-tier document model, separating self-contained 'Front Matter' from verifiable 'Back Matter.' Learn best practices for structuring proofs, ensuring dependency order, and implementing critical navigation aids (like claim indexes and TOCs) so reviewers can follow the argument flow seamlessly, even without traditional supplementary files.

This guide provides researchers with a critical framework for determining if their work on algorithms, data structures, and discrete mathematics is suitable for SODA (ACM-SIAM Symposium on Discrete Algorithms). It outlines a rigorous three-question fit test, offers a routing map to comparable specialized venues (like STOC or FOCS), and clarifies the specific academic pattern required for a submission to be considered novel and impactful to an algorithms expert.

A detailed guide for authors submitting theoretical computer science papers, outlining the required evidence objects (proofs, certificates, code) and best practices for preparing the public, full version of the work. It emphasizes structuring arguments to meet the standards of top-tier academic conferences like STOC.

This guide provides a comprehensive strategy for authors submitting to top theoretical computing conferences (like STOC). It covers best practices for pre-emptive objection handling, structuring the main submission to anticipate critiques, responding effectively to chair-mediated technical clarifications, and planning the subsequent resubmission memo for maximum impact.

A comprehensive guide for theoretical computer science authors on converting an accepted paper into two distinct, public deliverables: a concise, citable proceedings version (extended abstract) and a comprehensive, full version for public preprint servers like arXiv. Details the formatting, copyright requirements, version control, and post-publication hygiene necessary for academic publishing.

This guide clarifies the role of computation in theoretical computer science submissions, particularly for venues that prioritize theorems over empirical data. It distinguishes between legitimate forms of evidence—such as certified proof steps, constructive object discoveries, and illustrative examples—and inappropriate performance benchmarking. It helps researchers structure their work to align with theorem-based research, ensuring computational elements enhance the core theoretical contribution.

A comprehensive guide for authors writing theoretical computer science papers. It details how to position a result within the existing academic lineage, ensuring rigorous citation practices, managing version discrepancies (preprint vs. journal), and honestly comparing bounds against prior work. Essential for meeting the high standards of top-tier conferences like STOC.

Guidelines for ensuring academic proofs are completely verifiable by third parties, especially when theorems are distributed across multiple documents (e.g., extended abstract and full version). It emphasizes single-source builds, preventing statement drift, and detailing computational determinism requirements for maximum rigor in theoretical computer science research.

A comprehensive model detailing the rigorous evaluation process for submissions to STOC (Symposium on Theory of Computing). It covers the committee structure, the roles of program committee members and external subreviewers, the key evaluation axes (Correctness, Significance, Breadth, Novelty), the typical timeline, and strategic advice for authors on maximizing their leverage throughout the double-blind review process.

This guide details best practices for structuring supplementary material in highly technical academic submissions (e.g., STOC). It teaches authors how to design an appendix that facilitates selective verification by reviewers, ensuring that complex proofs, deferred results, and extended discussions are navigable. Key techniques include optimizing the Table of Contents, maintaining strict pointer discipline, and distinguishing between material required for core understanding versus material saved for the full version.

This guide helps researchers evaluate the scope and general significance of their theoretical computer science work. It introduces the 'breadth test' (corridor, lineage, technique) and a detailed routing map to advise whether the paper is best suited for a flagship, broad-scope venue like STOC, or a more specialized conference (e.g., SODA, ITCS, CCC). It provides a structured decision procedure for optimizing academic publication success.

A detailed guide for planning and executing research submissions for top-tier theoretical computer science conferences (STOC/FOCS). It provides a backward-planning timeline, covering all milestones from initial result completion (T-16 weeks) through drafting, verification, submission, peer review management, and final presentation preparation.