FMCAD 2022 – Formal Methods in Computer-Aided Design Conference

51490712
L'unità ES del Digital Society Center (FBK) organizzerà l'edizione 2022 della Conferenza internazionale "Formal Methods in Computer-Aided Design", FMCAD'22.

Date evento

18/10 — 21/10
Grand Hotel Trento, Piazza Dante 20
18/10/2022 — 21/10/2022

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

 

 


Avviso sulla privacy
Ai sensi e ai fini del Regolamento UE n. 2016/679 - Regolamento generale sulla protezione dei dati (GDPR) e come descritto nell'Informativa sulla privacy per i partecipanti all'evento di FBK, si informa che l'evento verrà registrato e divulgato sui canali istituzionali della Fondazione. Per non essere ripresi o registrati, si potrà disattivare la webcam e/o silenziare il microfono durante eventi virtuali oppure informare anticipatamente lo staff FBK che organizza l'evento pubblico.