FMCAD 2021 : Formal Methods in Computer Aided Design

in Conferences   Posted on February 18, 2021 

Conference Information

Submission Deadline Friday 07 May 2021 Proceedings indexed by :
Conference Dates Oct 20, 2021 - Oct 22, 2021
Conference Address Yale University, United States
Conference & Submission Link https://fmcad.org/FMCAD21/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Impact Score 2.31
#Contributing Top Scientists 18
#Papers published by Top Scientists 20
Google Scholar H5-index 17
Guide2Research Overall Ranking: 401
Category Rankings
Graphics & Computer-Aided Design 24
Software Engineering & Programming 93
Proceedings https://ieeexplore.ieee.org/xpl/conhome/1001524/all-proceedings

Conference Call for Papers

FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer- aided design. Topics of interest include (but are not limited to):

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.
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.
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 systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification.
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 to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, block chains, and IoT devices.

Other Conferences in United States

SMARTCOMP 2021 : 7th IEEE International Conference on Smart Computing

Deadline :
Mon 01 Mar 2021
Aug 23, 2021 - Aug 27, 2021 - Irvine
United States

IC2E 2021 : IEEE International Conference on Cloud Engineering

Deadline :
Sun 07 Mar 2021
Oct 4, 2021 - Oct 8, 2021 - San Francisco
United States

MWSCAS 2021 : International Midwest Symposium on Circuits and Systems

Deadline :
Mon 08 Mar 2021
Aug 9, 2021 - Aug 11, 2021 - Lansing
United States

ISLPED 2021 : ACM/IEEE International Symposium on Low Power Electronics and Design

Deadline :
Mon 08 Mar 2021
Jul 26, 2021 - Jul 28, 2021 - Boston
United States