posted by user: ndisp || 790 views || tracked by 13 users: [display]

FMCAD 2016 : Formal Methods in Computer-Aided Design

FacebookTwitterLinkedInGoogle


Conference Series : Formal Methods in Computer-Aided Design
 
Link: http://www.fmcad.org/FMCAD16
 
When Oct 4, 2016 - Oct 6, 2016
Where Mountain View, CA, USA
Abstract Registration Due May 2, 2016
Submission Deadline May 9, 2016
Notification Due Jul 9, 2016
Final Version Due Aug 9, 2016
 

Call For Papers

[Empty]

Related Resources

NFM 2017   The 9th NASA Formal Methods Symposium
RNMDA 2017   Special Issue on “Resilient Networks : Modeling, Design, and Applications”, Digital Communications and Networks, Elsevier
SAC PL 2017   ACM SAC'17 PL Track
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems
FSEN 2017   Fundamentals of Software Engineering
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
IJCCBS-SI 2016   Int. J. of Critical Computer-Based Systems. Special Issue on: Methods and Tools for Assurance of Critical Infrastructure Protection
IWMbD 2016   Second International Workshop on Metamaterials-by-Design: Theory, Methods, and Applications to Communications and Sensing
CADMD 2016   Computer-aided diagnosis by Multimedia Data (IF: 1.346)
ICCAD 2016   International Conference on Computer Aided Design