committee/

THE PEOPLE BEHIND THE CONFERENCE

FMCAD 2024

Formal Methods in Computer-Aided Design

Partial roster coverageOfficial edition website ↗

Source-attributed rosters checked 2026-09-13. 9 collected records; 9 await identity review and remain visible as unlinked names. Affiliations are preserved as stated by each source. Source gaps: No workshop inventory; steering moved to standing year0.

Local Organization Chair

1 service records
Local Organization Chair membership and source references
Person Role Affiliation as listed Evidence
Mikoláš JanotaIdentity not yet linkedLocal Organization Chair Czech Technical University in Prague, Czech Republic Conference website ↗Checked 2026-09-13

Program Chairs

2 service records
Program Chairs membership and source references
Person Role Affiliation as listed Evidence
Nina NarodytskaIdentity not yet linkedProgram Chairs VMware Research by Broadcom, USA Conference website ↗Checked 2026-09-13
Philipp RümmerIdentity not yet linkedProgram Chairs University of Regensburg and Uppsala University, Germany and Sweden University of Regensburg · Uppsala University Conference website ↗Checked 2026-09-13

Publication Chair

1 service records
Publication Chair membership and source references
Person Role Affiliation as listed Evidence
Georg WeissenbacherIdentity not yet linkedPublication Chair TU Wien, Austria Conference website ↗Checked 2026-09-13

Registration Chair

1 service records
Registration Chair membership and source references
Person Role Affiliation as listed Evidence
Milena ZeithamlováIdentity not yet linkedRegistration Chair Action M Agency, Prague, Czech Republic Conference website ↗Checked 2026-09-13

Sponsorship Chair

1 service records
Sponsorship Chair membership and source references
Person Role Affiliation as listed Evidence
Guy AmirIdentity not yet linkedSponsorship Chair The Hebrew University of Jerusalem, Israel Conference website ↗Checked 2026-09-13

Student Forum Chairs

2 service records
Student Forum Chairs membership and source references
Person Role Affiliation as listed Evidence
Martin BlichaIdentity not yet linkedStudent Forum Chairs Università della Svizzera italiana, Switzerland Conference website ↗Checked 2026-09-13
Nestan TsiskaridzeIdentity not yet linkedStudent Forum Chairs Stanford University, USA Conference website ↗Checked 2026-09-13

Web Chair

1 service records
Web Chair membership and source references
Person Role Affiliation as listed Evidence
Julie CaillerIdentity not yet linkedWeb Chair University of Regensburg, Germany Conference website ↗Checked 2026-09-13