News
The advance program now includes abstracts and presentations (slides). If your presentation is missing, send it to Pete.
FMCAD 2006 is the sixth 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. In addition to the technical program, FMCAD will offer a full day of tutorials on model checking, theorem proving, decision procedures, and the application of such methods in industry. FMCAD will also include panels and affiliated workshops. The conference 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. Recently, the two conferences have decided to merge, and as a result, FMCAD will be a yearly conference from now on.
This year's FMCAD conference will be held in San Jose, California from November 12th through the 16th. 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.