Individual skill
cav-workflow
Use when planning a CAV (Computer Aided Verification) project timeline from venue and category selection through submission, the two-stage review with early reject and rebuttal, artifact evaluation by the AEC, and the LNCS open-access camera-ready, with backward-planning offsets for a verification-tool paper and honest handling of the single-annual-deadline cycle.
CAV-Skills/skills/cav-workflow/SKILL.md
Source commit 932eb23331721b16e967c59f093781be1928b498
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- Yes
- Repository scan complete
- No
- Skill scan complete
- Yes
- Observed behavior
- Network or broad shell
- Last checked
- Nov 9, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 1,400
- Repository last updated
- Sep 27, 2026
- License
- MIT
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- academic-writing Repository topic
- agent-skills Repository topic
- journal Repository topic
- academic-research Repository topic
- ai-agents Repository topic
- anthropic Repository topic
- awesome-list Repository topic
- claude Repository topic
- claude-code Repository topic
- economics Repository topic
- operations Derived category
- research Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
SKILL.mdcore · 5,500 bytes
Read excerpt
# CAV Workflow
Use this as the project-management skill for a CAV submission. Replace every date with the current
official timetable and work backward from the AoE paper deadline. CAV publishes open access in
**Springer LNCS**, reviews in **two stages** (an early-reject filter, then a rebuttal), and runs an
**optional** artifact evaluation after notification — plan for all three, not just accept/reject.
CAV is a conference with **no standing editor-in-chief**; the rotating leadership is the per-edition
Program Chairs and Steering Committee. For CAV 2026 the Program Chairs are **Anthony W. Lin, Eva
Darulova, and Philipp Rümmer** (verified 2026-07-09), and the venue is **Lisbon, part of FLoC
2026**. Chairs rotate yearly; re-check the organization page rather than carrying a name forward.
## Milestones
