Organizing Committee
Program Chairs
[Nina Narodytska](https://research.vmware.com/researchers/nina-narodytska)
VMware Research by Broadcom, USA [Philipp Rümmer](http://www.philipp.ruemmer.org/)
University of Regensburg and Uppsala University, Germany and Sweden Local Organization Chair
[Mikoláš Janota](http://people.ciirc.cvut.cz/~janotmik/)
Czech Technical University in Prague, Czech Republic Registration Chair
[Milena Zeithamlová](https://web.action-m.com/)
Action M Agency, Prague, Czech Republic Student Forum Chairs
[Martin Blicha](https://d3s.mff.cuni.cz/people/martinblicha/)
Università della Svizzera italiana, Switzerland
[Nestan Tsiskaridze](https://sites.cs.ucsb.edu/~nestan/)
Stanford University, USA
Sponsorship Chair
[Guy Amir](https://guyam2.github.io/)
The Hebrew University of Jerusalem, Israel
Publication Chair
[Georg Weissenbacher](https://www.georg.weissenbacher.science/)
TU Wien, Austria
Web Chair
[Julie Cailler](https://jcailler.github.io/)
University of Regensburg, Germany
FMCAD Steering Committee
[Clark Barrett](https://theory.stanford.edu/~barrett/)
Stanford University, CA, USA [Armin Biere](https://cca.informatik.uni-freiburg.de/biere/)
University of Freiburg, Germany [Ruzica Piskac](https://www.cs.yale.edu/homes/piskac/)
Yale University, USA Anna Slobodova
Intel Corporation, USA
[Georg Weissenbacher](https://www.georg.weissenbacher.science/)
Vienna University of Technology, Austria