FMCAD 2012 is the twelfth 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.

An on-line version of the proceedings is available fmcad2012.pdf

The Best Paper award was made to Alessandro Cimatti, Sergio Mover and Stefano Tonetta for their paper "A quantifier-free SMT encoding of non-linear hybrid automat."

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 2012 FMCAD conference will occur in Cambridge, UK from October 22nd through October 25th.

The proceedings are available online in the ACM Digital Library, at IEEE Xplore, and as free download.