About the Conference

FMCAD 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.

Important Dates

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