Skill UI

A comprehensive guide tailored for authors submitting manuscripts to *Scientia Sinica Informationis* (SSI). It details the mandatory high-impact structural arc (Problem, Gap, Contribution, Evidence, Significance), covers dual-language abstract requirements, and specifies rigorous formatting rules for units, variables, and citations, ensuring adherence to top-tier academic standards.

This skill provides a comprehensive guide for manuscript authors targeting the StarSem Conference on Computational Semantics (*SEM). It helps authors determine the conference fit, refine framing, establish the necessary evidence bar, and strategize submissions for topics related to meaning representation, semantic parsing, and inference. It is a specialized venue-selection and re-framing tool for advanced NLP/CS papers.

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.

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.

This comprehensive guide details the specific structural and stylistic requirements for submitting high-quality theoretical computer science papers to top-tier conferences like STOC. It addresses how to frame the initial theorem statement, structure the technical overview, maintain notation economy, and effectively budget the limited page space to ensure maximum academic rigor and readability for diverse expert audiences.