domains / families / research / tacas-submission

tacas-submission

separate

Use when auditing a TACAS (ETAPS) submission for EasyChair readiness, covering the choice among the four paper categories (research, case-study, regular tool, tool-demonstration), the correct LNCS page limit and llncs.cls format, the per-category blind mode (double-blind research vs single-blind tool/case-study), the mandatory tool-paper artifact deadline, and desk-reject triage before the firm ETAPS deadline.

When to use

• TACAS submission audit
• EasyChair readiness check
• Paper category selection
• LNCS page limit verification
• llncs.cls format compliance
• Blind mode verification
• Mandatory artifact deadline check
• Desk-reject triage

When not to use

• ACM acmart template usage
• IEEEtran template usage
• Non-ETAPS venue submissions

Skill page

Source