In the past, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Recently, these two conferences decided to merge to form an annual conference with a unified international community. FMCAD is now a yearly conference.
This year's FMCAD conference will be held in Portland, Oregon from November 17th through the 20th. The proceedings will be published by the IEEE and will be available online in the ACM Digital Library and the IEEE Xplore Digital Library. For details about the conference, including submission and registration information, follow the links on the left of the page.
|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 16, 2008|
|Hotel Registration Deadline||October 18, 2008|
|Conference||November 17-20, 2008|
Best Paper Award:Murali Talupur and Mark Tuttle
Going with the Flow: Parameterized Verification using Message Flows