domains / families / research / icalp-supplementary

icalp-supplementary

separate

Use when splitting an ICALP (EATCS) theory paper between the 15-page main body and the clearly labelled appendix / full version — deciding what a referee must see in the body versus what may be deferred, ensuring every deferred proof is actually present and findable, and keeping the split consistent with lightweight double-blind review.

When to use

• splitting ICALP theory paper between body and appendix
• deciding what a referee must see in the body
• deciding what may be deferred to appendix
• ensuring deferred proofs are present and findable
• keeping split consistent with double-blind review
• checking for over-stuffed or hollow body
• verifying anonymity of appendix and full version

When not to use

• writing the actual proofs
• conducting experiments
• formatting references

Skill page

Source