domains / families / research / tacas-topic-selection

tacas-topic-selection

separate

Use when deciding whether a formal-methods / verification project belongs at TACAS (ETAPS) or a sibling like CAV, VMCAI, FMCAD, SPIN, or a journal, AND — distinctively — which of TACAS's four categories (research, case-study, regular tool, tool-demonstration) it fits, plus whether the work is a SV-COMP competition contribution rather than a paper.

When to use

• deciding if a project belongs at TACAS
• selecting TACAS category
• distinguishing TACAS from CAV, VMCAI, FMCAD, SPIN, or journals
• identifying SV-COMP competition contributions
• applying tool-vs-research tests
• checking artifact requirements

When not to use

• drafting the paper
• implementing the tool
• running experiments

Skill page

Source