CAV Conference Submission Strategist
Evaluates manuscript fit, evidence standards, and submission strategy for the International Conference on Computer Aided Verification (CAV).
Evaluates manuscript fit, evidence standards, and submission strategy for the International Conference on Computer Aided Verification (CAV).
The CAV Conference Submission Strategist skill provides specialized guidance for researchers targeting the International Conference on Computer Aided Verification (CAV). It evaluates manuscripts against CAV's high standards for formal verification, model checking, SMT/SAT solving, theorem proving, and formal methods tooling. The skill analyzes fit, identifies evidence gaps in benchmark evaluations or formal proofs, checks reviewer calibration, prevents desk-reject risks, and offers precise routing advice against neighboring conferences like POPL, LICS, and PLDI.