domains / families / research / cav-submission

cav-submission

separate

Use when auditing a CAV (Computer Aided Verification) submission for portal readiness, covering the four submission categories (Regular / Short Tool / Short Application / Industrial Experience & Case Studies), the LNCS page limits, the per-category anonymization matrix, the artifact-intent declaration, and desk-reject triage before the AoE paper deadline.

When to use

• CAV submission audit
• Category selection
• LNCS page limit check
• Anonymization matrix verification
• Artifact-intent declaration
• Desk-reject triage
• Double-blind sweep
• Format compliance

When not to use

• Artifact evaluation
• Supplementary material review
• Live CFP verification
• Portal field entry
• Dual-submission withdrawal

Skill page

Source