committee/

Software Engineering, System Software, and Programming Languages

FM

International Symposium on Formal Methods

CCF ACCF 7th edition (2026) classificationCCF catalog reference ↗

Conference editions

0 indexed

Committee history not yet indexed

This conference is in the CCF catalog. No edition rosters have been added yet.

View the CCF catalog reference ↗

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.

YearSource coveragePublished appointmentsSource gaps
2023Unavailable0

All official FM2023 URLs failed TLS certificate verification, including root, index and committees; the checked Wayback timestamp returned HTTP 404, so no official roster or workshop navigation was accessible.

Source / reference ↗
2024Unavailable0

Official fm2024.info does not resolve (DNS ENOTFOUND); checked Wayback content is a domain-for-sale parking page, not the conference, so no official roster or workshop navigation was accessible.

Source / reference ↗
2025Unavailable0

All official FM2025 URLs failed TLS certificate verification, including root, index and committees; the checked Wayback timestamp returned HTTP 404, so no official roster or workshop navigation was accessible.

Source / reference ↗
2026Unavailable0

Official fm2026.info does not resolve (DNS ENOTFOUND); the checked Wayback timestamp returned HTTP 404, so no official roster or workshop navigation was accessible.

Source / reference ↗

CCF categories describe the CCF 7th edition (2026) catalog, not the category held by each historical edition.