Software Engineering, System Software, and Programming Languages
VMCAI
International Conference on Verification, Model Checking and Abstract Interpretation
Conference editions
4 indexedSource-attributed rosters checked 2026-09-13. 54 collected records; 42 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2025 Complete roster coverageSource-attributed rosters checked 2026-09-13. 43 collected records; 28 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No separate organizing committee page listed.
2024 Complete roster coverageSource-attributed rosters checked 2026-09-13. 43 collected records; 32 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No separate organizing committee page listed.
2023 Complete roster coverageSource-attributed rosters checked 2026-09-13. 46 collected records; 33 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2023–2026 collection coverage
Source coverage and identity linking are separate. Unlinked names remain visible in rosters, but do not contribute to personal histories or rankings.
| Year | Source coverage | Published appointments | Source gaps |
|---|---|---|---|
| 2023 | Complete | 46 | Source / reference ↗ |
| 2024 | Complete | 43 | No separate organizing committee page listed. Source / reference ↗ |
| 2025 | Complete | 43 | No separate organizing committee page listed. Source / reference ↗ |
| 2026 | Complete | 54 | Source / reference ↗ |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.