Formal Methods in Computer-Aided Design (MCAD) 2022 is the 22nd 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 as well as industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems.

Moreover, FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing.

You might also like: 18th International Conference on AIAI

Chairs for Formal Methods in Computer-Aided Design:

• Alberto Griggio, Fondazione Bruno Kessler (FBK)
• Neha Rungta, Amazon Web Services

Click: 2022 European Microwave Conference

Important Dates of Formal Methods in Computer-Aided Design

• Abstract Submission: May 8, 2022
• Paper Submission: May 15, 2022
• Author Response: June 22–24, 2022
• Author Notification: July 1, 2022
• Camera-Ready Version: August 16, 2022

Furthermore, all deadlines are 11:59 pm AoE (Anywhere on Earth)

• FMCAD Tutorial Day: October 18, 2022
• Finally, Regular Program: October 19–21, 2022

Also check out: International Conference on Devices, Circuits, & Systems (ICDCS)

Student Forum

Continuing the tradition of the previous years, FMCAD 2022 is hosting a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community and solicit feedback.