FMCAD 2008
Formal Methods in Computer Aided Design
Portland, OR, USA
November 17 - 20

Organizing Committee

Chairs

Alessandro Cimatti, FBK-irst, Trento, Italy
Robert Jones, Intel Corp., USA
Tutorials
Anna Slobodova, Centaur Technology, USA
Panels
Carl Pixley, Synopsys Inc., Hillsboro, USA
Local Arrangements
Annette Bunker, Intel Corp., USA
Publicity
Lee Pike, Galois Inc., USA
Webmasters

Anders Franzen, FBK-irst, Trento, Italy
Alberto Griggio, University of Trento, Italy

Program Committee