Formal Methods in
Computer-Aided Design
Yale University

Organizing Committee

PROGRAM CHAIRS:

Ruzica Piskac

Yale University

Michael Whalen

Amazon, Inc and the University of Minnesota

STUDENT FORUM CHAIR:

Mark Santolucito

Barnard College

SPONSORSHIP CHAIR:

Daniel Schoepe

Amazon Web Services, Inc.

PUBLICATION CHAIR:

Georg Weissenbacher

TU Wien

WEB CHAIR:

William Hallahan

Yale University

FMCAD STEERING COMMITTEE:

Clark Barrett

Stanford University, CA, USA

Armin Biere

Johannes Kepler University in Linz, Austria

Georg Weissenbacher

TU Vienna, Austria

Anna Slobodova

Centaur Technology, TX, USA