domains / families / research / tacas-writing-style

tacas-writing-style

separate

Use when revising a TACAS (ETAPS) paper for a clear construction-or-analysis contribution on the first page, a stated soundness/completeness claim, honest benchmark evidence, category-appropriate structure (research vs tool vs case-study vs tool-demo), disciplined use of the 16-page (or 6-page) LNCS budget, and correct handling of double-blind wording for research papers.

When to use

• revising a TACAS paper
• stating contribution on the first page
• stating soundness/completeness claims
• providing honest benchmark evidence
• matching structure to category
• managing the 16-page or 6-page LNCS budget
• handling double-blind wording for research papers

Skill page

Source