LOGO
Formal Methods in
Computer-Aided Design
Prague, Czech Republic
October 14 - 18, 2024
FMCAD 2024

Organizing Committee

Program Chairs

Nina Narodytska
VMware Research by Broadcom, USA
Philipp Rümmer
University of Regensburg and Uppsala University, Germany and Sweden

Local Organization Chair

Mikoláš Janota
Czech Technical University in Prague, Czech Republic

Registration Chair

Milena Zeithamlová
Action M Agency, Prague, Czech Republic

Student Forum Chairs

Martin Blicha
Università della Svizzera italiana, Switzerland
Nestan Tsiskaridze
Stanford University, USA

Sponsorship Chair

Guy Amir
The Hebrew University of Jerusalem, Israel

Publication Chair

Georg Weissenbacher
TU Wien, Austria

Web Chair

Julie Cailler
University of Regensburg, Germany

FMCAD Steering Committee

Clark Barrett
Stanford University, CA, USA
Armin Biere
University of Freiburg, Germany
Ruzica Piskac
Yale University, USA
Anna Slobodova
Intel Corporation, USA
Georg Weissenbacher
Vienna University of Technology, Austria