FOCS Paper Writing Style
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.