Subject: International Conference on Formal Methods in Computer-Aided Design

Description: The FMCAD mailing list is intended to provide information (such as calls for papers) for the International Conference on Formal Methods in Computer-Aided Design (https://fmcad.org). The FORSYTE research group at TU Wien is a co-organizer of FMCAD.