Organizing Committee

Program Chairs

• Daniela Kaufmann, TU Wien, Austria
• Ahmed Irfan, SRI, USA

Local Organization Chair

• Stéphane Graham-Lengrand, SRI, USA

Registration Chair

• Jenny McNeill, SRI, USA

Student Forum Chairs

• Tanja Schindler, University of Basel, Switzerland
• Lee A. Barnett, AWS, USA

Sponsorship Chair

• Alex Ozdemir, Stanford University, USA

Publication Chair

• Georg Weissenbacher, TU Wien, Austria

Web Chair

• Thomas Hader, TU Wien, Austria

FMCAD Steering Committee

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