Conference Information
FMCAD 2020: Formal Methods in Computer-Aided Design
Submission Date:
2020-05-09 Extended
Notification Date:
Conference Date:
Haifa, Israel
CCF: c   QUALIS: b1   Viewed: 7158   Tracked: 17   Attend: 1

Conference Location
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 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.
Last updated by Dou Sun in 2020-03-28
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
aaa1DACDesign Automation Conference2019-11-20 2020-07-19
bTAMCAnnual Conference on Theory and Applications of Models of Computation2014-11-272015-01-202015-05-18
cab1ATVAInternational Symposium on Automated Technology for Verification and Analysis2020-05-062020-06-242020-10-26
MPMMEInternational Conference on Materials Processing and Mechanical Manufacturing Engineering2019-02-21 2019-04-12
ICITEInternational Conference on Information Technology in Education2019-02-162019-03-102019-03-23
baa2SPAAACM Symposium on Parallelism in Algorithms and Architectures2020-02-082020-04-152020-07-15
ARCInternational Symposium on Applied Reconfigurable Computing2017-12-012017-12-192018-05-02
ICCSITInternational Conference on Computer Science and Information Technology2016-10-152016-11-052016-12-07
ICEETInternational Conference on Electronics Engineering and Technology2020-04-012020-04-252020-07-17
cca1FGInternational Conference on Automatic Face and Gesture Recognition2019-09-27 2020-05-18
Related Journals
CCFFull NameImpact FactorPublisherISSN
bComputer-Aided Design3.049Elsevier0010-4485
cLogical Methods in Computer Science Logical Methods in Computer Science1860-5974
bFormal Aspects of Computing1.226Springer0934-5043
Computers & Industrial Engineering3.518Elsevier0360-8352
Journal of Information ScienceSAGE0165-5515
Library & Information Science Research1.425Elsevier0740-8188
bComputer Aided Geometric Design1.421Elsevier0167-8396
Games and Culture1.574SAGE1555-4120
International Journal in Foundations of Computer Science & Technology AIRCC1839-7662
Procedia ManufacturingElsevier2351-9789