Test IV

of accepted papers will be considered for a distinguished paper award. General Chairs Armin Biere, Johannes Kepler University, Linz, Austria Carl Pixley, Synopsys Inc., Hillsboro, USA Local Arrangement Sandip Ray, University of Texas at Austin, USA Anna Slobodova, Centaur Technology, USA

FMCAD'09 Last Call for Papers

. A small number of accepted papers will be considered for a distinguished paper award. General Chairs Armin Biere, Johannes Kepler University, Austria Carl Pixley, Synopsys Inc., USA Local Arrangement Sandip Ray, University of Texas at Austin, USA Anna Slobodova, Centaur Technology, USA