FOCS Paper Writing Style

•
1.1k
•

Guides researchers in drafting and revising FOCS papers by structuring the critical first ten pages, pairing formal and informal theorems, and ensuring double-blind compliance.

FOCS Paper Writing Style provides specialized guidance for drafting and refining submissions to the IEEE Symposium on Foundations of Computer Science (FOCS). It focuses on front-loading the critical first ten pages so that cross-area theory committees can fully grasp the paper's significance and technical novelties. The skill enforces best practices including using LaTeX thm-restate packages to keep informal and formal theorems synchronized, calibrating prose and notation for readability across theoretical computer science subfields, eliminating unsubstantiated hedge phrases, and auditing manuscripts for strict double-blind review compliance.

Key Features

01Provides structured double-blind review auditing and third-person citation checks
02Optimizes the 10-page guaranteed review window with strategic page budgeting
03Calibrates technical prose and notation economy for cross-area TCS committees
04Supplies a 4-step revision pass order to eliminate hedge phrases and notation drift
05Enforces synchronized informal and formal theorem pairing via LaTeX thm-restate patterns
061,079 GitHub stars

Use Cases

01Restructuring proofs and theorem statements to fit within the initial ten-page evaluation window
02Drafting the introduction, technical overview, and abstract for a FOCS conference submission
03Auditing an existing theoretical computer science paper before submission for double-blind compliance