THE PEOPLE BEHIND THE CONFERENCE

FMCAD 2023

Formal Methods in Computer-Aided Design

Partial roster coverageOfficial edition website ↗

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

Program Chair

2 service records

Program Chair membership and source references
Person	Role	Affiliation as listed	Evidence
Kristin Y. RozierIdentity not yet linked	Program Chair	Iowa State University, IA, USA Iowa State University · IA	Conference website ↗Checked 2026-09-13
Alexander NadelIdentity not yet linked	Program Chair	Intel Corporation and Technion, Israel Intel Corporation · Technion – Israel Institute of Technology	Conference website ↗Checked 2026-09-13

Sponsorship Chair

1 service records

Sponsorship Chair membership and source references
Person	Role	Affiliation as listed	Evidence
Yoni ZoharIdentity not yet linked	Sponsorship Chair	Bar Ilan University, Israel	Conference website ↗Checked 2026-09-13

Student Forum Chair

2 service records

Student Forum Chair membership and source references
Person	Role	Affiliation as listed	Evidence
Mikoláš JanotaIdentity not yet linked	Student Forum Chair	Czech Institute of Informatics, Robotics and Cybernetics (CIIRC), Czech Republic	Conference website ↗Checked 2026-09-13
Nina NarodytskaIdentity not yet linked	Student Forum Chair	VMware, CA, USA VMware (United States) · CA	Conference website ↗Checked 2026-09-13

Web Chair

1 service records

Web Chair membership and source references
Person	Role	Affiliation as listed	Evidence
Yogev ShalmonIdentity not yet linked	Web Chair	Intel Corporation and the Open University, Israel Intel Corporation · Open University	Conference website ↗Checked 2026-09-13