FMCAD'20 (External organisation)

  • Armin Biere (Member)

Activity: Membership/Function › Board, Committee or Jury

Description

FMCAD (Formal Methods in Computer-Aided Design) is an annual conference 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 is supported and organized by the FMCAD Association.
Period21 Sept 2020 → 24 Sept 2020
Held atFMCAD'20, Austria

Fields of science

  • 202006 Computer hardware
  • 603109 Logic
  • 102 Computer Sciences
  • 102031 Theoretical computer science
  • 102011 Formal languages
  • 102022 Software development
  • 102001 Artificial intelligence

Documents & Links