Software Engineering, System Software, and Programming Languages
ATVA
International Symposium on Automated Technology for Verification and Analysis
Conference editions
4 indexedSource-attributed rosters checked 2026-09-13. 45 collected records; 35 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. 64 collected records; 43 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2024 Complete roster coverageSource-attributed rosters checked 2026-09-13. 117 collected records; 102 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2023 Complete roster coverageSource-attributed rosters checked 2026-09-13. 37 collected records; 28 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 | 37 | Source / reference ↗ |
| 2024 | Complete | 117 | Source / reference ↗ |
| 2025 | Complete | 64 | Source / reference ↗ |
| 2026 | Complete | 45 | Source / reference ↗ |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.