Skill UI

This guide assists researchers in determining the optimal venue for their formal verification project. It helps decide whether the work belongs at TACAS (ETAPS) or a sibling conference (like CAV or VMCAI), depending on the emphasis (tool vs. theory), and guides the selection among the four distinct contribution categories (Research, Tool, Case-study, Demonstration).