Formal Methods in Computer-Aided Design: pushing boundaries
The ES unit of Digital Industry Centre (FBK) co-organized this year edition of the International Conference on Formal Methods in Computer-Aided Design (FMCAD). It's the 22nd in a series of conferences on theory and applications of formal methods in hardware and system verification. The conference has been held in Trento last Oct. 18th and 19th
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 was first held in 1996, and was a bi-annual conference until 2006, when the FMCAD and CHARME conferences merged into a single annual conference. Before merging,
FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years.
Since 2006, the FMCAD conference has been held annually at various international venues.
This year edition, from 17 to 21 October 2022, has been held in Trento, chaired by Alberto Griggio (FBK) and Neha Rungta (Amazon Web Services).