Connect

ICALP Theory Paper Writing Guide

brycewang-stanfordbybrycewang-stanford
•
1.1k
•
Learning & Documentation

Structures theoretical computer science papers to meet the rigorous clarity, formatting, and proof standards of ICALP (EATCS) Track A and Track B submissions.

ICALP Theory Paper Writing Guide helps researchers draft and refine theoretical computer science submissions for the International Colloquium on Automata, Languages, and Programming (ICALP). It enforces the proven ICALP narrative arc—model, theorem, improvement over prior bounds, technique, and proof location—while managing the strict 15-page LIPIcs body budget. Whether preparing an algorithm-focused Track A submission or an automata- and logic-driven Track B paper, this skill ensures mathematical verifiability, precise problem positioning, and defense against common referee rejection patterns.

Key Features

01Enforces the 15-page LIPIcs page budget through compression rather than proof omission
021,079 GitHub stars
03Structures the first-page arc to clearly state the model, theorem, and improvement over prior bounds
04Tailors exposition for Track A (algorithms/complexity) and Track B (logic/semantics)
05Establishes a verifiable proof contract linking body sketches to full appendix proofs
06Pre-submission self-checks to identify theoretical anti-patterns and unpositioned claims

Use Cases

01Compressing theoretical computer science manuscripts into the 15-page LIPIcs format
02Drafting and refining conference submissions for ICALP Track A and Track B
03Auditing theorem statements, lemma dependency graphs, and appendix proofs for referee review