Theoretical Computer Science
FSCD
International Conference on Formal Structures for Computation and Deduction
Conference editions
2 indexedSource-attributed rosters checked 2026-09-13. 25 collected records; 25 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Annual programme and organizing committees captured; steering persisted year0; no ERC or workshop-specific organizers published.
2023 Partial roster coverageSource-attributed rosters checked 2026-09-13. 121 collected records; 121 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official proceedings PDF captured 31 PC and full 90-member External Reviewers table. Legacy official site returns 404; workshop-specific organizers not published in checked sources.
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 | 121 | Official proceedings PDF captured 31 PC and full 90-member External Reviewers table. Legacy official site returns 404; workshop-specific organizers not published in checked sources. Source / reference ↗ |
| 2024 | Unavailable | 0 | Legacy site 404; alternate official site certificate failure prevented native access, no roster persisted. Source / reference ↗ |
| 2025 | Partial | 0 | Official pages checked; no annual OC/PC/ERC roster published. Source / reference ↗ |
| 2026 | Partial | 25 | Annual programme and organizing committees captured; steering persisted year0; no ERC or workshop-specific organizers 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 ↗
FSCD Steering Committee
12 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Patrick BaillotIdentity not yet linked | Steering Committee | CNRS, University of Lille CNRS · Université de Lille | Conference website ↗Checked 2026-09-13 |
| Herman GeuversIdentity not yet linked | Steering Committee | Radboud University Nijmegen | Conference website ↗Checked 2026-09-13 |
| Cynthia KopIdentity not yet linked | Steering Committee | Radboud University Nijmegen | Conference website ↗Checked 2026-09-13 |
| Carsten FuhsIdentity not yet linked | Steering Committee | Birkbeck University of London | Conference website ↗Checked 2026-09-13 |
| Marco GaboardiIdentity not yet linked | Steering Committee | Boston University | Conference website ↗Checked 2026-09-13 |
| Femke van RaamsdonkIdentity not yet linked | Steering Committee | VU Amsterdam | Conference website ↗Checked 2026-09-13 |
| Jakob RehofIdentity not yet linked | Steering Committee | TU Dortmund | Conference website ↗Checked 2026-09-13 |
| Maribel FernándezIdentity not yet linked | Steering Committee | King's College London | Conference website ↗Checked 2026-09-13 |
| Guilio ManzonettoIdentity not yet linked | Steering Committee | Université Paris Cité | Conference website ↗Checked 2026-09-13 |
| Ugo Dal LagoIdentity not yet linked | Steering Committee | University of Bologna | Conference website ↗Checked 2026-09-13 |
| Sandra AlvesIdentity not yet linked | Steering Committee | University of Porto | Conference website ↗Checked 2026-09-13 |
| Jürgen GieslIdentity not yet linked | Steering Committee | RWTH Aachen | Conference website ↗Checked 2026-09-13 |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.