Theoretical Computer Science
SAT
International Conference on Theory and Applications of Satisfiability Testing
Conference editions
3 indexedSource-attributed rosters checked 2026-09-13. 48 collected records; 39 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2024 Complete roster coverageSource-attributed rosters checked 2026-09-13. 41 collected records; 34 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source.
2023 Complete roster coverageSource-attributed rosters checked 2026-09-13. 41 collected records; 34 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 | Complete | 41 | Source / reference ↗ |
| 2024 | Complete | 41 | Source / reference ↗ |
| 2025 | Complete | 48 | Source / reference ↗ |
| 2026 | Partial | 0 | No official SAT 2026 organizers/committee page is published; homepage confirms event and links no committee page. 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 ↗
Steering Committee
8 service records| Person | Role | Affiliation as listed | Evidence |
|---|---|---|---|
| Jeremias Berg | Steering Committee | University of Helsinki | Conference website ↗Checked 2026-09-13 |
| Jakob NordströmIdentity not yet linked | Steering Committee | University of Copenhagen & Lund University University of Copenhagen · Lund University | Conference website ↗Checked 2026-09-13 |
| Supratik ChakrabortyIdentity not yet linked | Steering Committee | IIT Bombay | Conference website ↗Checked 2026-09-13 |
| Jie-Hong Roland JiangIdentity not yet linked | Steering Committee | National Taiwan University | Conference website ↗Checked 2026-09-13 |
| Meena MahajanIdentity not yet linked | Steering Committee | Institute of Mathematical Sciences, Chennai | Conference website ↗Checked 2026-09-13 |
| Friedrich SlivovskyIdentity not yet linked | Steering Committee | TU Wien | Conference website ↗Checked 2026-09-13 |
| Kuldeep MeelIdentity not yet linked | Steering Committee | National University of Singapore | Conference website ↗Checked 2026-09-13 |
| Ofer StrichmanIdentity not yet linked | Steering Committee | Technion | Conference website ↗Checked 2026-09-13 |
CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.