FMCAD

The FMCAD Association is a charitable organization (founded and located in Vienna, Austria) with the purpose to organize the International Conference on Formal Methods in Computer-Aided Design (FMCAD).