committee/

Software Engineering, System Software, and Programming Languages

MEMOCODE

International Conference on Formal Methods and Models for Co-Design

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

Conference editions

1 indexed
2023 Complete roster coverage

Source-attributed rosters checked 2026-09-13. 36 collected records; 32 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: Official organization, full Program Committee, and standing Steering Committee captured; no workshop organizer 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.

YearSource coveragePublished appointmentsSource gaps
2023Complete36

Official organization, full Program Committee, and standing Steering Committee captured; no workshop organizer roster published.

Source / reference ↗
2024Unavailable0

No official 2024 edition committee source identified.

Source / reference ↗
2025Unavailable0

No official 2025 edition committee source identified.

Source / reference ↗
2026Unavailable0

No official 2026 edition committee source identified.

Source / reference ↗

Standing committees

Series-level snapshot

Observed 2026-09-13. This source lists a standing committee without an appointment year; it is not an annual service record. Official source ↗

MEMOCODE Steering Committee

6 service records
MEMOCODE Steering Committee membership and source references
Person Role Affiliation as listed Evidence
Jean-Pierre TalpinIdentity not yet linkedSteering Committee Inria, France Conference website ↗Checked 2026-09-13
Pierluigi NuzzoIdentity not yet linkedSteering Committee University of Southern California, USA Conference website ↗Checked 2026-09-13
Partha RoopIdentity not yet linkedSteering Committee University of Auckland, USA Conference website ↗Checked 2026-09-13
Klaus SchneiderIdentity not yet linkedSteering Committee TU Kaiserslautern, Conference website ↗Checked 2026-09-13
S. Arun-KumarIdentity not yet linkedSteering Committee IIT, Delhi Conference website ↗Checked 2026-09-13
Naijun ZhanIdentity not yet linkedSteering Committee Institute of Software, CAS Institute of Software · CAS Conference website ↗Checked 2026-09-13

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