Formal Methods in
Computer-Aided Design
Oct 17—21, 2022
Trento, Italy

Organizing Committee

PROGRAM CHAIRS

Alberto Griggio

Fondazione Bruno Kessler, Italy

Neha Rungta

Amazon Web Services, Inc., CA, USA

STUDENT FORUM CHAIR

Mathias Preiner

Stanford University, CA, USA

SPONSORSHIP AND WEB CHAIR

Martin Jonáš

Fondazione Bruno Kessler, Italy

LOCAL ORGANIZATION

Isabella Masè

Fondazione Bruno Kessler, Italy

Annalisa Armani

Fondazione Bruno Kessler, Italy

PUBLICATION CHAIR

Georg Weissenbacher

TU Vienna, Austria

FMCAD STEERING COMMITTEE

Clark Barrett

Stanford University, CA, USA

Armin Biere

University of Freiburg, Germany

Anna Slobodova

Intel Corporation, TX, USA

Georg Weissenbacher

TU Vienna, Austria