FMCAD 2008
Formal Methods in Computer Aided Design
Portland, OR, USA
November 17 - 20
(PDF Call for Papers Available Here)

FMCAD 2008

International Conference on
Formal Methods in Computer-Aided Design

November 17-20, 2008
Embassy Suites Portland--Downtown
Portland, Oregon

Important Dates

Paper Submission Deadline:    May 19, 2008 (extended, firm)
Author Feedback: June 26-29, 2008
Acceptance Notification: July 10, 2008
Final Version Due: August 17, 2008
Early Registration Deadline: October 14, 2008
Hotel Registration Deadline: October 17, 2008

Conference Scope

FMCAD 2008 is the eighth in a series of conferences on the theory and application of formal methods in hardware and system design and verification. In 2005, the bi-annual FMCAD and sister conference CHARME decided to merge to form an annual conference with a unified community. The resulting unified FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for formally reasoning about computing systems, as well as open challenges therein.

Topics of interest for the technical program include, but are not limited to:

Paper Submissions

Submissions must be made electronically in PDF format through the FMCAD'08 web site

The proceedings will be published by ACM and will be available online in the ACM Digital Library and the IEEE Xplore Digital Library. Two categories of papers can be submitted: regular papers (8 pages), containing original research that has not been previously published, nor concurrently submitted for publication; and short papers (4 pages), describing applications, case studies, industrial experience reports, emerging results, or implemented tools with novel features. Regular and short papers must use the IEEE Transactions format on letter-size paper with a 10-point font size (see We recommend that self-citations be written in the third person, though authors will be required to identify themselves on their submissions. Submissions must contain original research that has not been previously published, nor concurrently submitted for publication. Any partial overlap with any published or concurrently submitted paper must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide adequate access to their data so that results can be independently verified.

A small number of accepted papers will be considered for a distinguished paper award.



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

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

Program Committee