FMCAD 2022 – Formal Methods in Computer-Aided Design Conference

AdobeStock_51490712_integrated microchip
The ES unit of Digital Industry Centre (FBK) will co-organize the 2022 edition of the International Conference on Formal Methods in Computer-Aided Design, FMCAD’22.

Grand Hotel Trento

Piazza Dante 20

FMCAD 2022 is the twenty-second 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.

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.

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

Important dates:
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

All deadlines are 11:59 pm AoE (Anywhere on Earth)

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

The conference will be held in Trento


Privacy Notice
Pursuant to art. 13 of EU Regulation No. 2016/679 – General Data Protection Regulation and as detailed in the Privacy Policy for FBK event’s participants, we inform you that the event will be recorded and disclosed on the FBK institutional channels. In order not to be filmed or recorded, you can disable the webcam and/or mute the microphone during virtual events or inform the FBK staff who organize the public event beforehand.