FMCAD 2007 is the seventh 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 2007 will include a full day of tutorials, and will be co-located with the ACL2 Workshop 2007.

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 will now be a yearly conference.

This year's FMCAD conference will be held in Austin, Texas from November 11th through the 14th. 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.

Best Paper Award (tie):

Sara Adams , Magnus Bjork, Tom Melham, and Carl Seger.
Automatic Abstraction in Symbolic Trajectory Evaluation

Lee Pike.
Modeling Time-Triggered Protocols and Verifying their Real-Time Schedules