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

Preparation of final manuscripts

The FMCAD'08 proceedings will be published by IEEE.

The manuscripts must be prepared according to the instructions provided at http://www.ieee.org/web/publications/pubservices/confpub/fmcad08/index.html.

The deadline for the submission of the final version is August 17, 2008.

Notice that, differently from the papers submitted for evaluation, the final version will not be submitted through easychair, and will not be in PDF format. The IEEE Xplore service requires the submission of the original source documents (either in LaTeX, or in other formats such as Word, RichText, WordPerfect). To ensure accuracy, the authors are required to view the paper after conversion, and the author ultimately submits final approval before publication.