Theoretical Computer Science

CAV

International Conference on Computer Aided Verification

CCF ACCF 7th edition (2026) classificationCCF catalog reference ↗

Conference editions

2 indexed

2026 Complete roster coverage

Source-attributed rosters checked 2026-09-13. 179 collected records; 175 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.

2025 Complete roster coverage

Source-attributed rosters checked 2026-09-13. 230 collected records; 221 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	Unavailable	0	Official archive path returns HTTP 404. Source / reference ↗
2024	Unavailable	0	Official archive path returns HTTP 404. Source / reference ↗
2025	Complete	230	Source / reference ↗
2026	Complete	179	Source / reference ↗

Standing committees

Series-level snapshot

Observed 2026-09-13. This source lists a standing committee without an appointment year; it is not an annual service record. Official source ↗

STEERING COMMITTEE

4 service records

STEERING COMMITTEE membership and source references
Person	Role	Affiliation as listed	Evidence
Orna GrumbergIdentity not yet linked	STEERING COMMITTEE	Not stated in source	Conference website ↗Checked 2026-09-13
Aarti GuptaIdentity not yet linked	STEERING COMMITTEE	Not stated in source	Conference website ↗Checked 2026-09-13
Daniel KröningIdentity not yet linked	STEERING COMMITTEE	Not stated in source	Conference website ↗Checked 2026-09-13
Ken McMillanIdentity not yet linked	STEERING COMMITTEE	Not stated in source	Conference website ↗Checked 2026-09-13

CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.