domains / families / research / icalp-writing-style

icalp-writing-style

separate

Use when shaping the exposition of an ICALP (EATCS) theory paper — stating the model before the theorem, putting a legible theorem statement and its improvement over prior bounds on the first page, structuring the 15-page body around the argument while full proofs live in the appendix/full version, and meeting the correctness-and-clarity bar of Track A and Track B referees.

When to use

• stating the model before the theorem
• putting a legible theorem statement on the first page
• structuring the 15-page body around the argument
• meeting the correctness-and-clarity bar of Track A and Track B referees
• positioning against a named prior bound
• naming the barrier and the technique
• pairing an algorithm with a matching lower bound

When not to use

• experimental-algorithms voice
• benchmark framing
• tasks without a theorem behind them

Skill page

Source