FMCAD 2010
Formal Methods in Computer Aided Design
Lugano, Switzerland, October 20 - 23
Sponsored by IEEE
In Cooperation with ACM SIGPLAN and ACM SIGSOFT

Registration is now open.

Recorded sessions and other resources

Program (PDF)


FMCAD 2010 will be colocated with the 2010 Alpine Verification Meeting.

Best Paper

The FMCAD10 best paper award goes to the paper "Applying SMT in Symbolic Execution of Microcode" by Anders Franzen, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, and Jonathan Shalev. The paper is a pleasure to read, and provides impressive results. The paper shows that SMT-based techniques can beat SAT-techniques in an industrial setting, even for problems where SAT has previously been the dominating technique. These results, although anticipated by the SMT community for a long time, had not been established this conclusively so far. Bravo and congratulations!

The best paper award was decided by the Best Paper Committee consisting of Gianpiero Cabodi, Koen Claessen, and Barbara Jobstmann.

About the Conference:

FMCAD 2010 is the tenth 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 2010 will have several invited speakers, a panel of foremost academic and industrial experts, a high-quality technical program. The first day is 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. In 2006, these two conferences decided to merge to form an annual conference with a unified international community. FMCAD is now a yearly conference. In 2010, FMCAD will be held in Europe for the first time.

FMCAD 2010 will be held in Lugano, Switzerland from October 20th through the 23rd. The proceedings are planned to be published by the IEEE and to be made 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.

Important Dates:

Abstract Submission Deadline May 5, 2010
Paper Submission Deadline May 12, 2010 (23:59 Samoa time, UTC-11)
Notification July 7, 2010
Final Version July 28, 2010
Conference October 20-23, 2010