The ES unit of FBK will co-organize the 2022 edition of the International Conference on Formal Methods in Computer-Aided Design, FMCAD’22. The conference will be held in Trento from October 18th to October 21st 2022. More information at https://fmcad.org/FMCAD22/
