About the ConferenceFMCAD 2009 is the ninth in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2009 had several invited speakers, a panel of foremost academic and industrial experts, a high-quality technical program. The first day was reserved for tutorials.
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.
In 2009 the FMCAD conference was held in Austin, Texas from November 15th through the 18th. The proceedings have been published in the IEEE Xplore Digital Library. For details about the conference, including submission and registration information, follow the links on the left of the page.
|Abstract Submission Deadline||May 29, 2009|
|Paper Submission Deadline||June 5, 2009|
|Notification||July 31, 2009|
|Final Version||September 4, 2009|
|Extended Early Registration||October 18, 2009|
|Conference||November 15-18, 2009|