posted by user: roopsha || 5548 views || tracked by 24 users: [display]

FMCAD 2012 : Formal Methods in Computer-Aided Design

FacebookTwitterLinkedInGoogle


Conference Series : Formal Methods in Computer-Aided Design
 
Link: http://www.fmcad.org
 
When Oct 22, 2012 - Oct 25, 2012
Where Microsoft Research Cambridge, UK
Abstract Registration Due May 9, 2012
Submission Deadline May 20, 2012
Notification Due Jul 13, 2012
Final Version Due Aug 10, 2012
 

Call For Papers

FMCAD 2012 - FORMAL METHODS IN COMPUTER-AIDED DESIGN
PRELIMINARY CALL FOR PAPERS
International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org
Microsoft Research Cambridge, UK, October 22 - 25, 2012

IMPORTANT DATES

Abstract Submission: May 9

Paper Submission: May 20

Author Notification: July 13

Final Version: August 10

Conference: October 22 - 25


CONFERENCE SCOPE

FMCAD 2012 is the twelfth in a series of conferences on the theory and application of formal methods in hardware and system design and verification. FMCAD provides a leading international forum to researchers and practitioners in academia and industry for presenting and discussing novel methods, technologies, theoretical results, and tools for formal reasoning about computing systems, as well as open challenges therein.


TOPICS OF INTEREST

Advances in model checking, theorem proving, equivalence checking, abstraction and reduction techniques, compositional methods, automatic decision procedures at the bit- and word-level, probabilistic methods, and combinations of deductive methods and decision procedures.
Topics related to the application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software. This includes timing and power modeling, and verification of computing systems on all levels of abstraction.
System-level design and verification, especially for embedded systems, HW/SW co-design and verification, and transaction-level verification.
Modeling and specification languages, formal semantics of known languages or their subsets, model-based design, design derivation and transformation, and correct-by-construction methods.
Experience with the application of formal and semi-formal methods to industrial-scale designs. Tools that represent formal verification enablement, new features, or a substantial improvement in the automation of formal methods.
Application of formal methods in new areas.


SUBMISSIONS

Submissions must be made electronically in PDF format via EasyChair. More details will be provided soon on the FMCAD web site.
The proceedings will be freely available from the FMCAD Web site. We expect to have ACM In-Cooperation Status and IEEE Technical Co-Sponsorship, as has been the case with previous FMCAD conferences. FMCAD and authors will share the copyright for accepted papers and we plan on publishing the proceedings in the ACM Digital Library and in IEEE Xplore.
Two categories of papers can be submitted: regular papers (8 pages), containing original research; and short papers (4 pages), containing emerging results, practical experiences or original ideas that can be described succinctly.
Regular and short papers must use the IEEE Transactions format on letter-size paper with a 10-point font size, see http://www.ieee.org/portal/pages/pubs/transactions/stylesheets.html. We recommend that self-citations be written in the third person. Submissions must contain original research that has not been previously published, nor concurrently submitted for publication. Any partial overlap with any published or concurrently submitted paper must be clearly indicated. If experimental results are reported, authors are strongly encouraged to provide adequate access to their data so that results can be independently verified.
A small number of accepted papers will be considered for a distinguished paper award.


ASSOCIATED EVENTS

The Hardware Model Checking Competition 2012 (HWMCC2012) will take place during FMCAD 2012.


GENERAL CHAIRS

Gianpiero Cabodi, Politecnico di Torino, Italy
Satnam Singh, Google, USA


STEERING COMMITTEE

Jason Baumgartner, IBM, USA
Aarti Gupta, NEC Labs America, USA
Warren Hunt, University of Texas at Austin, USA
Panagiotis Manolios, Northeastern University, USA
Mary Sheeran, Chalmers University of Technology, Sweden

Related Resources

OpenSuCo @ ISC HPC 2017   2017 International Workshop on Open Source Supercomputing
ACMC 2017   Australasian Computer Music Conference
FMCAD 2017   Formal Methods in Computer-Aided Design
CONCUR 2018   29th International Conference on Concurrency Theory
IMDA 2018   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING
FM 2018   22nd International Symposium on Formal Methods
LICS 2018   Logic in Computer Science
ReCoSoC 2018   13th International Symposium on Reconfigurable Communication-centric Systems-on-Chip
QEST 2018   QEST 2018 : 15th International Conference on Quantitative Evaluation of SysTems
ABZ 2018   6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018