FMCAD 2011 is the eleventh 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.

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.

The 2011 FMCAD conference occurred in Austin, Texas from October 30th through November 2nd.

The proceedings are available online in the ACM Digital Library, at IEEE Xplore, and as a free download from the FMCAD web site.

The ACL2 workshop, the Design and Implementation of Formal Tools and Systems (DIFTS) workshop, and the Hardware Model Checking Competition (HWMCC) will be co-located with FMCAD.

This year, FMCAD is again privileged to have a list of outstanding invited and tutorial speakers. The following presented their work at FMCAD 2011.

• J Moore, winner of the ACM System Award (2005), member of National Academy of Engineering, and ACM Fellow
• Ivan Sutherland, Turing Award winner (1988)
• Aarti Gupta, senior researcher at NEC
• John Hughes, Professor at Chalmers University of Technology and CEO of QuviQ
• Fabio Somenzi, Professor at CU Boulder
• Vigyan Singhal, President and CEO of Oski Technology Inc

Congratulations to the 2011 FMCAD Best Paper Award recipients: Aaron Bradley, Fabio Somenzi, Zyad Hassan and Yan Zhang for their paper entitled "An Incremental Approach to Model Checking Progress Properties"