Call for paper 〔OPEN〕

My submissions

〔CLOSED〕
Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

FMCAD 2014 is the fourteenth in a series of conferences 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 was first held in 1996, and was a bi-annual conference until 2006, when the FMCAD and CHARME conferences merged into a single annual conference. Before merging, FMCAD was held in the United States on even years and its sister conference, CHARME, was held in Europe on odd years. Since 2006, the FMCAD conference has been held annually at various international venues.

FMCAD 2014 will be co-located with MEMOCODE, the ACM/IEEE International Conference on Formal Methods and Models for Codesign, and DIFTS, International Workshop on Design and Implementation of Formal Tools and Systems in Lausanne, Switzerland. MEMOCODE will take place from October 19 to October 20, 2014, following by a joint FMCAD/MEMOCODE tutorial day on October 21, 2014. DIFTS will take place on October 20, 2014. FMCAD 2014 will continue from October 22 to 24, 2014.

Call for paper

Submission Topics

Topics of interest include, but are not limited to, the following:

  1.  Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level,  probabilistic methods, combinations of deductive methods and decision procedures.
  2.   Synthesis and compilation for computer system descriptions, modeling, specification, and implementation  languages, formal semantics of languages and their  subsets, model-based design, design derivation and  transformation, correct-by-construction methods.
  3.   Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and  verification for embedded and cyberphysical systems,  hardware-software co-design and verification, transaction-level verification.
  4.   Experience with the application of formal and semi-formal methods to industrial-scale designs. Tools that represent formal verification enablement, new features, or a  substantial improvement in the automation of formal methods.
  5.   Application of formal methods in areas beyond computer systems, including formal methods describing processes  studied in other areas of science, engineering, and  humanities.
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Oct 21

    2014

    to

    Oct 24

    2014

  • Oct 24 2014

    Registration deadline

Sponsored By
ACM
IEEE
Contact Information
Login to view full contact details
Previous Conferences