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

ACSSC 2021 : Asilomar Conference on Signals, Systems and Computers

Deadline :
Sat 08 May 2021
Oct 31, 2021 - Nov 3, 2021 - Pacific Grove
United States

CLUSTER 2021 : IEEE International Conference on Cluster Computing

Deadline :
Mon 10 May 2021
Sep 7, 2021 - Sep 10, 2021 - Portland
United States

RV 2021 : International Conference on Runtime Verification

Deadline :
Thu 13 May 2021
Oct 11, 2021 - Oct 14, 2021 - Los Angeles
United States

GROUP 2022 : ACM Conference on Supporting Group Work

Deadline :
Fri 14 May 2021
Jan 23, 2022 - Jan 26, 2022 - Sanibel Island
United States