Formal Methods in Computer-Aided Design 2011, Austin, Vereinigte Staaten

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 will be held in Austin, Texas from October 30th through November 2nd. The proceedings will be available online in the ACM Digital Library, at IEEE Xplore, and as a free download from the FMCAD web site. Details can be found using the links on the left side of the page, and more information will be published as the conference approaches. 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. So far the following have accepted invitations to present their work at FMCAD 2011.