domains / families / research / tacas-supplementary

tacas-supplementary

separate

Use when deciding what belongs in a TACAS (ETAPS) paper body versus its appendix, supplementary website, and artifact, covering the 16-page (or 6-page) llncs.cls budget that excludes references and appendix, the rule that decision-critical content stays in the reviewed pages, category-appropriate anonymity of supplementary material, and how to split a verification paper between body, appendix, and a mandatory-or-voluntary artifact.

When to use

• deciding what belongs in a TACAS paper body versus appendix
• managing the 16-page or 6-page llncs.cls budget
• ensuring decision-critical content stays in reviewed pages
• applying category-appropriate anonymity of supplementary material
• splitting a verification paper between body, appendix, and artifact
• assembling TACAS supplementary material

Skill page

Source