FMCAD 2010
Formal Methods in Computer Aided Design
Lugano, Switzerland
October 20 - 23

Submission for the technical and industrial tracks: http://www.easychair.org/conferences/?conf=fmcad10. Abstract deadline: 5 May 2010, Paper deadline: 12 May 2010.

Requests for exhibition space should be directed to the industrial track chairs, Wolfgang Ecker and Cindy Eisner.