Software Engineering, System Software, and Programming Languages
SPIN
International Symposium on Model Checking of Software
Conference editions
4 indexedSource-attributed rosters checked 2026-09-13. 26 collected records; 24 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No named workshop organizer/chair roster published.
2025 Complete roster coverageSource-attributed rosters checked 2026-09-13. 35 collected records; 35 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No named workshop organizer/chair roster published.
2024 Complete roster coverageSource-attributed rosters checked 2026-09-13. 32 collected records; 32 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No named workshop organizer/chair roster published.
2023 Complete roster coverageSource-attributed rosters checked 2026-09-13. 31 collected records; 31 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No named workshop organizer/chair roster published.
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 | 31 | No named workshop organizer/chair roster published. Source / reference ↗ |
| 2024 | Complete | 32 | No named workshop organizer/chair roster published. Source / reference ↗ |
| 2025 | Complete | 35 | No named workshop organizer/chair roster published. Source / reference ↗ |
| 2026 | Complete | 26 | No named workshop organizer/chair roster published. 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 ↗
SPIN Standing Steering Committee
7 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Dragan BosnackiIdentity not yet linked | Steering Committee | Eindhoven University of Technology, Netherlands) (chair | Conference website ↗Checked 2026-09-13 |
| Susanne GrafIdentity not yet linked | Steering Committee | Verimag, France | Conference website ↗Checked 2026-09-13 |
| Gerard HolzmannIdentity not yet linked | Steering Committee | Nimble Research, USA | Conference website ↗Checked 2026-09-13 |
| Stefan LeueIdentity not yet linked | Steering Committee | University of Konstanz, Germany | Conference website ↗Checked 2026-09-13 |
| Jaco van de PolIdentity not yet linked | Steering Committee | Aarhus University, Denmark | Conference website ↗Checked 2026-09-13 |
| Neha RungtaIdentity not yet linked | Steering Committee | AWS, USA | Conference website ↗Checked 2026-09-13 |
| Willem VisserIdentity not yet linked | Steering Committee | Stellenbosch University, South Africa | Conference website ↗Checked 2026-09-13 |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.