FMCAD 2015
Formal Methods in Computer-Aided Design
September 27-30, 2015
Austin, Texas, USA


*** Abstract registration EXTENDED to May 8 ***
*** Paper submission EXTENDED to May 14 ***

International Conference on 
Formal Methods in Computer-Aided Design (FMCAD)

Austin, Texas, USA, September 27-30, 2015

** Note: ** FMCAD 2015 will be held at the end of September,
            several weeks earlier than in previous years!


FMCAD will be co-located with the SAT conference, and with the DIFTS and
ACL2 workshops. The conference program will include, in addition to regular
paper presentations, tutorials by Isil Dillig (UT Austin), Priyank Kalla
(Utah), Andre Platzer (CMU), and Roderick Bloem (TU Graz); new editions of
the Hardware Model Checking competition and the FMCAD Student Forum; and an
industrial panel discussion on 'Formal Verification in the Industry -- a
2020 Vision'. We also have confirmed keynote speakers including Sharad
Malik (Princeton University), ACM Turing Award winner E. Allen Emerson
(University of Texas at Austin), and Ziyad Hanna (Cadence/Jasper design

A small number of outstanding FMCAD submissions will be considered for
inclusion in a Special Issue of the journal on Formal Methods in System
Design (FMSD).

FMCAD 2015 has technical co-sponsorship from the IEEE Council on Electronic
Design Automation, and in-cooperation status with ACM SIGPLAN (Special
Interest Group on Programming Languages) and ACM SIGSOFT (Special Interest
Group on Software Engineering).


Abstract Submission:    May  08,    2015 (extended from May 02)
Paper Submission:       May  14,    2015 (extended from May 11)
Author Response Period: June 15-19, 2015
Author Notification:    July 06,    2015
Camera-Ready Version:   July 31,    2015


FMCAD Tutorial Day:    September 27,    2015 (joint with SAT and DIFTS)
FMCAD Regular Program: September 28-30, 2015


SAT conference: September 24-27, 2015
DIFTS workshop: September 26-27, 2015
ACL2 workshop:  October   01-02, 2015


FMCAD 2015 is the fifteenth 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 employs a rigorous peer-review process. Accepted papers are
distributed through both ACM and IEEE digital libraries. In addition,
published articles are made available freely on the conference page; the
authors retain the copyright. There are no publication fees. At least one
of the authors is required to register for the conference and present the
accepted paper. A small number of outstanding FMCAD submissions will be
considered for inclusion in a Special Issue of the journal on Formal
Methods in System Design (FMSD).


FMCAD welcomes submission of papers reporting original research on advances
in all aspects of formal methods technology and its application to
computer-aided design. Topics of interest include (but are not limited to):

-- Model checking, theorem proving, equivalence checking, abstraction and
   reduction, compositional methods, decision procedures at the bit- and
   word-level, probabilistic methods, combinations of deductive methods and
   decision procedures.

-- Synthesis and compilation for computer system descriptions, modeling,
   specification, and implementation languages, formal semantics of
   languages and their subsets, model-based design, design derivation and
   transformation, correct-by-construction methods.

-- Application of formal and semi-formal methods to functional and
   non-functional specification and validation of hardware and software,
   including timing and power modeling, verification of computing systems
   on all levels of abstraction, system-level design and verification for
   embedded and cyberphysical systems, hardware-software co-design and
   verification, transaction-level verification.

-- 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 areas beyond computer systems,
   including formal methods describing processes studied in other areas of
   science, engineering, and humanities.


Submissions must be made electronically in PDF format via EasyChair, at

(If you do not already have an EasyChair account, you will need to sign up
for one.)

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 etc,
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.

Both Regular and Tool & Case study papers must use the IEEE Transactions
format on letter-size paper with a 10-point font size, and can be up to 8
pages in length (same page limit for both paper categories), although there
is no requirement to fill 8 pages in either category. Authors will be
required to select the appropriate paper category at abstract submission
time. Submissions may contain an optional appendix, which will not appear
in the final version of the paper. The reviewers should be able to assess
the quality and the relevance of the results in the paper without reading
the appendix.

Submissions in both categories must contain original research that has not
been previously published, nor is concurrently submitted for publication.
Any partial overlap with published or concurrently submitted papers must be
clearly indicated. If experimental results are reported, authors are
strongly encouraged to provide adequate access to their data, at submission
time, so that results can be independently verified.


Continuing the tradition of the previous two years, FMCAD 2015 will host a
Student Forum that provides a platform for graduate students at any career
stage to introduce their research to the wider Formal Methods community,
and solicit feedback. Submissions for the event must be short reports
describing research ideas or ongoing work that the student is currently
pursuing, and must be within the scope of FMCAD. Work, part of which has
been previously published, will be considered; the novel aspect to be
addressed in future work must be clearly described in such cases. All
submissions will be reviewed by a select group of FMCAD program committee

The event will consist of short presentations by the student authors of
each accepted submission, and of a poster that will be on display
throughout the duration of the conference. Accepted submissions will be
listed, with title and author name, in the event description in the
conference proceedings. The authors will also have the option to upload
their poster and presentation to the FMCAD web site. The best contribution
(determined by the committee based on the quality of the submission and the
presentation) will be given public recognition and a certificate at the

Limited funds will be available for travel assistance for students with
accepted contributions.

More details are available at


Submission Deadline:     June 21, 2015
Acceptance Notification: July 19, 2015
Forum Date:              September 28-30, 2015


Program chairs:
Roope Kaivola, Intel
Thomas Wahl, Northeastern University

Publication Chair:
Ruzica Piskac, Yale University

Student Forum Chair:
Georg Weissenbacher, Vienna University of Technology

Tutorial Chairs:
Malay Ganai, Atrenta
Chao Wang, Virginia Tech

Local Arrangements Chair & Webmaster:
Shilpi Goel, The University of Texas at Austin


Domagoj Babic, Google
Armin Biere, Johannes Kepler University
Per Bjesse, Synopsys
Nikolaj Bjorner, Microsoft Research
Roberto Bruttomesso, Atrenta
Gianpiero Cabodi, Politecnico di Torino
Alessandro Cimatti, FBK-irst
Hana Chockler, King's College
Bruno Dutertre, SRI International
John Havlicek, Cadence Design Systems
Keijo Heljanko, Aalto University
Alan Hu, University of British Columbia
Roope Kaivola, Intel (co-chair)
Daniel Kroening, University of Oxford
Panagiotis Manolios, Northeastern University
Ken McMillan, Microsoft Research
Naren Narasimhan, Calypto
Lee Pike, Galois
Ruzica Piskac, Yale University
Sandip Ray, Intel
Philipp Ruemmer, Uppsala University
Andrey Rybalchenko, Microsoft Research
Julien Schmaltz, Eindhoven University of Technology
Natasha Sharygina, Universita' della Svizzera Italiana
Anna Slobodova, Centaur Technology
Niklas Sorensson, Chalmers University of Technology
Daryl Stewart, ARM
Murali Talupur, Intel Corporation
Helmut Veith, Vienna University of Technology
Thomas Wahl, Northeastern University (co-chair)
Georg Weissenbacher, Vienna University of Technology


Armin Biere, Johannes Kepler University in Linz, Austria
Alan Hu, University of British Columbia, Canada 
Warren Hunt, University of Texas at Austin, USA

Valid HTML 4.01 Transitional