Theoretical Computer Science
CADE
Conference on Automated Deduction
Conference editions
4 indexedSource-attributed rosters checked 2026-09-13. 5 collected records; 3 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: FLoC page publishes IJCAR chair, PC co-chairs, representative but no PC member roster or workshop organizer names.
2025 Complete roster coverageSource-attributed rosters checked 2026-09-13. 70 collected records; 67 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: ADG'25 and ThEdu'25 host pages did not publish named organizers.
2024 Partial roster coverageSource-attributed rosters checked 2026-09-13. 70 collected records; 69 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: IJCAR PC/organizers collected; remaining satellite hosts did not expose named organizers in reachable pages.
2023 Partial roster coverageSource-attributed rosters checked 2026-09-13. 5 collected records; 5 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official CADE-29 archive exposes chairs but linked EasyConferences site and advertised committee PDF were unreachable; no full PC/ERC roster extracted.
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 | Partial | 5 | Official CADE-29 archive exposes chairs but linked EasyConferences site and advertised committee PDF were unreachable; no full PC/ERC roster extracted. Source / reference ↗ |
| 2024 | Partial | 70 | IJCAR PC/organizers collected; remaining satellite hosts did not expose named organizers in reachable pages. Source / reference ↗ |
| 2025 | Complete | 70 | ADG'25 and ThEdu'25 host pages did not publish named organizers. Source / reference ↗ |
| 2026 | Partial | 5 | FLoC page publishes IJCAR chair, PC co-chairs, representative but no PC member roster or workshop organizer names. Source / reference ↗ |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.