International Conference on Formal Methods in Computer-Aided Design

October 30 - November 02, 2018, Austin, Texas, USA

Scope & Topics

FMCAD 2018 is the eighteenth 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.

Topics of Interest :

• Model checking
  
• theorem proving
  
• equivalence checking
  
• abstraction and reduction
  
• compositional methods,
  
• decision procedures at the bit- and word-level
  
• probabilistic methods.
  
• implementation languages
  
• model-based design
  
• power modeling
  
• verification of computing systems on all levels of abstraction
  
• system-level design
  
• verification for embedded systems
  
• cyber-physical systems
  
• automotive systems

Paper Submission

Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences/?conf=fmcad18

Two categories of papers are invited: Regular papers, and Tool & Case Study papers. Regular papers are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. Tool & Case Study papers are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and 
its impact on design processes. 

Important Dates

Submission Deadline	:	May 18, 2017
Authors Notification	:	July 18, 2017
Final Manuscript Due	:	August 19, 2017

 

User Name : alex
Posted 16-02-2018 on 21:25:17 AEDT

Related CFPs

IJSPTM   International Journal of Security, Privacy and Trust Management
WiMNeT 2026   13th International Conference on Wireless and Mobile Network
SPM 2026   13th International Conference on Signal, Image Processing and Multimedia (SPM 2026)
IPPR 2026   12th International Conference on Image Processing and Pattern Recognition (IPPR 2026)