All conferences / CAV / 2022
CAV 2022
34th International Conference on Computer Aided Verification
Submission timeline
- 21 Jan 2022 Full paper AoE
- 30 Apr 2022 Notification
- 7 Aug 2022 Conference opens
What to submit
- Format
- 18 pages LNCS + ref + appendix (regular) / 10 pages LNCS + ref + appendix (tool)
- Proceedings
- Springer LNCS — CC BY
- Reviewing
- Double anonymous
- Rebuttal
- 23 Mar 2022 to 25 Mar 2022
- Artifacts
- Tool papers require a concurrent artifact submission together with the paper submission. Artifact evaluation occurs concurrently with the review process and the PC gets access to the artifact evaluation during the PC discussions.
- Journal
- A selection of papers is expected to be invited to a special issue of Formal Methods in System Design and the Journal of the ACM.
- Co-located with
- Part of FLOC 2022