TACAS Topic & Venue Selection
Guides topic selection and category alignment for formal methods research targeting TACAS (ETAPS) and sibling verification conferences.
The TACAS Topic Selection skill provides a rigorous decision framework for researchers determining whether their formal methods, verification, or automated reasoning project belongs at TACAS (ETAPS) or sibling venues like CAV, VMCAI, FMCAD, and SPIN. It helps authors navigate TACAS's four distinct submission categories—Regular Research, Case Study, Regular Tool, and Tool Demonstration—ensuring alignment with specific page limits, double-blind or single-blind requirements, and mandatory artifact evaluations. By executing tests like the Tool-vs-Research check and reconnaissance against recent proceedings, this skill prevents costly misdirection before paper drafting begins.