LOGO
Formal Methods in
Computer-Aided Design
October 23-27, 2023
Ames, Iowa, USA

Organizing Committee

PROGRAM CHAIRS:

Kristin Y. Rozier
Iowa State University, IA, USA
Alexander Nadel
Intel Corporation and Technion, Israel

STUDENT FORUM CHAIR:

Mikoláš Janota
Czech Institute of Informatics, Robotics and Cybernetics (CIIRC), Czech Republic
Nina Narodytska
VMware, CA, USA

SPONSORSHIP CHAIR:

Yoni Zohar
Bar Ilan University, Israel

WEB CHAIR:

Yogev Shalmon
Intel Corporation and the Open University, Israel

FMCAD STEERING COMMITTEE:

Clark Barrett
Stanford University, CA, USA
Armin Biere
University of Freiburg, Germany
Ruzica Piskac
Yale University, CT, USA
Anna Slobodova
Intel Corporation, TX, USA
Georg Weissenbacher
TU Wien, Austria