FMCAD 2020 : Formal Methods in Computer Aided Design

in Conferences   Posted on November 3, 2020 

Conference Information

Submission Deadline Saturday 09 May 2020 Proceedings indexed by :
Conference Dates Sep 21, 2020 - Sep 24, 2020
Conference Address Online, Online
Conference & Submission Link https://fmcad.forsyte.at/FMCAD20/cfp/
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
Number of Editions: 20
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 2020 is the twentieth 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 employs a rigorous peer-review process. Accepted papers are distributed through the IEEE digital library, and as Open Access Proceedings by TU Wien Academic Press. In addition, published articles are made available freely on the conference page; the authors retain the copyright. There are no publication fees. At least one of the authors is required to register for the conference and present the accepted paper. A small number of outstanding FMCAD submissions will be considered for inclusion in a Special Issue of the journal on Formal Methods in System Design (FMSD).

Other Conferences in Online

UMAP 2021 : International Conference on User Modelling, Adaptation, and Personalization

Deadline :
Sun 17 Jan 2021
Jun 21, 2021 - Jun 25, 2021 - Online
Online

MSR 2021 : Mining Software Repositories

Deadline :
Tue 19 Jan 2021
May 23, 2021 - May 24, 2021 - Online
Online

SIGCOMM 2021 : ACM SIGCOMM Conference

Deadline :
Wed 20 Jan 2021
Aug 23, 2021 - Aug 27, 2021 - Online
Online

A-MOST 2021 : Advances in Model-Based Software Testing

Deadline :
Wed 20 Jan 2021
Apr 12, 2021 - Apr 12, 2021 - Online
Online