Formal Methods in Computer-Aided Design (FMCAD)

A conference, workshop or journal: the thing that recurs, across all its years.

Formal Methods in Computer-Aided Design, the conference where hardware verification and synthesis were argued about from 1996 onwards. It began as a merger of two earlier series, TPCD (Theorem Provers in Circuit Design) and CHARME, both of which appear in the reference lists of the corpus's members here rather than as sets of their own. The 1996 proceedings are LNCS 1166; FMCAD later left Springer and now publishes its own open proceedings, so a reader should not expect the series number to continue.

One member so far, and the set exists mainly so that FMCAD is not filed under Lecture Notes in Computer Science, which is a series spanning forty years and every subject in the field rather than a venue.