Theoretical Computer Science
FMCAD
Formal Methods in Computer-Aided Design
Conference editions
4 indexedSource-attributed rosters checked 2026-09-13. 120 collected records; 102 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No workshop inventory; steering moved to standing year0.
2025 Partial roster coverageSource-attributed rosters checked 2026-09-13. 63 collected records; 54 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No workshop inventory; steering moved to standing year0.
2024 Partial roster coverageSource-attributed rosters checked 2026-09-13. 9 collected records; 9 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No workshop inventory; steering moved to standing year0.
2023 Partial roster coverageSource-attributed rosters checked 2026-09-13. 6 collected records; 6 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No workshop inventory; steering stored as standing year0.
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 | 6 | No workshop inventory; steering stored as standing year0. Source / reference ↗ |
| 2024 | Partial | 9 | No workshop inventory; steering moved to standing year0. Source / reference ↗ |
| 2025 | Partial | 63 | No workshop inventory; steering moved to standing year0. Source / reference ↗ |
| 2026 | Partial | 120 | No workshop inventory; steering moved to standing year0. Source / reference ↗ |
Standing committees
Series-level snapshotObserved 2026-09-13. This source lists a standing committee without an appointment year; it is not an annual service record. Official source ↗
FMCAD Steering Committee
5 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Clark BarrettIdentity not yet linked | FMCAD Steering Committee | Stanford University, CA, USA Stanford University · CA | Conference website ↗Checked 2026-09-13 |
| Armin BiereIdentity not yet linked | FMCAD Steering Committee | University of Freiburg, Germany | Conference website ↗Checked 2026-09-13 |
| Ruzica PiskacIdentity not yet linked | FMCAD Steering Committee | Yale University, CT, USA Yale University · CT | Conference website ↗Checked 2026-09-13 |
| Anna SlobodovaIdentity not yet linked | FMCAD Steering Committee | Intel Corporation, TX, USA Intel Corporation · TX | Conference website ↗Checked 2026-09-13 |
| Georg WeissenbacherIdentity not yet linked | FMCAD Steering Committee | TU Wien, Austria | Conference website ↗Checked 2026-09-13 |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.