FMCAD 2013 - Formal Methods in Computer-Aided Design

CONFERENCE SCOPE
FMCAD 2013 is the thirteenth in a series of conferences on
the theory and application of formal methods in hardware and
system design and verification. FMCAD provides a leading
international forum to researchers and practitioners in
academia and industry for presenting and discussing novel
methods, technologies, theoretical results, and tools for
formal reasoning about computing systems, as well as open
challenges therein.
FMCAD 2013 will be co-located with MEMOCODE, the ACM/IEEE
International Conference on Formal Methods and Models for
Codesign, in Portland, OR, USA. MEMOCODE will take place
from October 18 to 19, followed by a joint FMCAD/MEMOCODE
tutorial day on October 20. FMCAD will continue from
October 21 to 23, 2013.
TOPICS OF INTEREST
FMCAD welcomes submission of papers reporting original
research on advances in all aspects of formal methods
technology and its application to computer-aided design.
Topics of interest include, but are not limited to, the following:
-- Advances in model checking, theorem proving, equivalence
checking, abstraction and reduction techniques,
compositional methods, automatic decision procedures at
the bit- and word-level, probabilistic methods, and
combinations of deductive methods and decision
procedures.
-- Topics related to the application of formal and
semi-formal methods to functional and non-functional
specification and validation of hardware and
software. This includes timing and power modeling, and
verification of computing systems on all levels of
abstraction. System-level design and verification,
especially for embedded systems, HW/SW co-design and
verification, and transaction-level verification.
-- Modeling and specification languages, formal semantics of
known languages or their subsets, model-based design,
design derivation and transformation, and
correct-by-construction methods.
-- 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.
-- Application of formal methods in new areas.