FMCAD 2013
Formal Methods in Computer-Aided Design
Portland, OR, USA
October 20-23, 2013

Organizing Committee

General and Program Chairs
Jasper Design Automation & CNRS-Verimag
Intel Corporation
Local Arrangements Chair
Intel Corporation
Publication Chair
Open University of The Netherlands
Tutorial Chair
NEC Laboratories America
Student Forum Chair
Northeastern University
Publicity Chair
Intel Corporation
Webmaster
The University of Texas at Austin

Program Committee

IBM Corporation
University of Passau
Johannes Kepler University
Synopsys
Microsoft Research
TU Graz
Politecnico di Torino
Hana Chockler
IBM Research
FBK-irst
Koen Claessen
Chalmers University of Technology
NEC Labs America
Steven German
IBM
University of Utah
FBK-IRST
University of Oxford
Aalto University
University of British Columbia
Synopsys
University of Texas
Strategic CAD Lab, Intel
Microsoft Research
Northeastern University
University of Oxford
Intel Corporation
Galois
Max Planck Institute for Software Systems (MPI-SWS)
Uppsala University, Department of Information Technology
IMDEA Software Institute
Open University of The Netherlands
University of Lugano, Switzerland
Anna Slobodova
Centaur Technology
Niklas Sorensson
Mentor Graphics
Daryl Stewart
ARM
Northeastern University
Vienna University of Technology

Steering Committee

Jason Baumgartner
IBM, USA
Johannes Kepler University in Linz, Austria
NEC Labs America, USA
The University of Texas at Austin, USA
Northeastern University, USA