Información de la conferencia
FMCAD 2020: Formal Methods in Computer-Aided Design
Día de Entrega:
2020-05-09 Extended
Fecha de Notificación:
Fecha de Conferencia:
Haifa, Israel
CCF: c   QUALIS: b1   Vistas: 7473   Seguidores: 17   Asistentes: 1

Solicitud de Artículos
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.
Última Actualización Por Dou Sun en 2020-03-28
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
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
Revistas Relacionadas
CCFNombre CompletoFactor de ImpactoEditorISSN
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