posted by system || 3601 views || tracked by 14 users: [display]

FMCAD 2014 : Formal Methods in Computer-Aided Design

FacebookTwitterLinkedInGoogle


Conference Series : Formal Methods in Computer-Aided Design
 
Link: http://www.fmcad.org/FMCAD14
 
When Oct 21, 2014 - Oct 24, 2014
Where Lausanne, Switzerland
Abstract Registration Due May 6, 2014
Submission Deadline May 16, 2014
Categories    programming languages   software engineering
 

Call For Papers

FMCAD 2014 is the fourteenth 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,x 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.

FMCAD 2014 will be co-located with MEMOCODE, the ACM/IEEE International Conference on Formal Methods and Models for Codesign, and DIFTS, International Workshop on Design and Implementation of Formal Tools and Systems in Lausanne, Switzerland. MEMOCODE will take place from October 19 to October 20, 2014, following by a joint FMCAD/MEMOCODE tutorial day on October 21, 2014. DIFTS will take place on October 20, 2014. FMCAD 2014 will continue from October 22 to 24, 2014.

Related Resources

CAV 2021   33rd International Conference on Computer-Aided Verification
ACM--ICMLSC--EI Compendex, Scopus 2021   ACM--2021 The 5th International Conference on Machine Learning and Soft Computing (ICMLSC 2021)--EI Compendex, Scopus
FM 2021   Formal Methods 2021
IJCSES 2020   International Journal of Computer Science and Engineering Survey
ICCSE 2021   The 16th International Conference on Computer Science and Education
ACM--ICSCA--Ei, Scopus 2021   ACM--2021 10th International Conference on Software and Computer Applications (ICSCA 2021)--EI Compendex, Scopus
NFM 2021   13th NASA Formal Methods Symposium
MLHMI--Ei and Scopus 2021   2021 2nd International Conference on Machine Learning and Human-Computer Interaction (MLHMI 2021)--Ei Compendex, Scopus
ESOP 2021   30th European Symposium on Programming
SDM 2021   8th International Conference on Sustainable Design and Manufacturing