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: 7737   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
bb1IVInternational Conference on Information Visualisation2014-03-012014-04-252014-07-15
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
ISCTEEInternational Seminar on Information Science, Computer Technology and Electrical Engineering2017-08-11 2017-08-18
ICEIECIEEE International Conference on Electronics Information and Emergency Communication2020-06-252020-07-052020-07-17
baa2SPAAACM Symposium on Parallelism in Algorithms and Architectures2020-02-082020-04-152020-07-15
ISMICTInternational Symposium on Medical Information and Communication Technology2016-01-152016-01-312016-03-21
ICCSMInternational Conference on Computer, Software and Modeling2020-05-202020-06-052020-07-17
ISNCAInternational Symposium on Neural Computing and Applications2020-06-302020-06-302020-07-20
cb1ICVSInternational Conference on Computer Vision Systems2019-05-282019-06-252019-09-23
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
Integrated Computer-Aided Engineering4.904IOS Press1069-2509
Journal of Computer-Aided Molecular Design3.250Springer0920-654X
International Journal of RF and Microwave Computer-Aided Engineering1.472Wiley-Blackwell1096-4290
bComputer Aided Geometric Design1.421Elsevier0167-8396
International Journal in Foundations of Computer Science & Technology AIRCC1839-7662
International Journal for Numerical Methods in Fluids1.631Wiley-Blackwell0271-2091
International Journal of Computerized DentistryQuintessenz Verlags GmbH1463-4201