<tt><font size=3>FMCAD 2014 - FORMAL METHODS IN COMPUTER-AIDED DESIGN<br>
<br>
SECOND CALL FOR PAPERS<br>
<br>
International Conference on <br>
Formal Methods in Computer-Aided Design (FMCAD)<br>
<br>
Lausanne, Switzerland, October 21-24, 2014<br>
</font></tt><a href=http://www.fmcad.org/FMCAD14><tt><font size=3 color=blue>http://www.fmcad.org/FMCAD14</font></tt></a><tt><font size=3><br>
<br>
The conference includes the FMCAD student forum;<br>
it is collocated with MEMOCODE, DIFTS, and the<br>
Hardware Model Checking Competition 2014 FMCAD Edition.<br>
<br>
FMCAD 2014 has technical co-sponsorship from IEEE's CEDA<br>
(Council on Electronic Design Automation) and <br>
in-cooperation status with <br>
ACM SIGPLAN (Special Interest Group on Programming Languages) and <br>
ACM SIGSOFT (Special Interest Group on Software Engineering).<br>
<br>
IMPORTANT DATES<br>
<br>
Abstract Submission: Tuesday, May 6<br>
Paper Submission: Friday, May 16<br>
Author Response Period: June 23-27<br>
Author Notification: July 25<br>
Camera-Ready Version: August 15<br>
Conference: October 21-24<br>
<br>
CONFERENCE SCOPE <br>
<br>
FMCAD 2014 is the 14th in a series of conferences on the<br>
theory and application of formal methods in computer-aided<br>
design and verification of computer systems and related<br>
topics. FMCAD provides a leading international forum to<br>
researchers and practitioners in academia and industry for<br>
presenting and discussing novel methods, technologies,<br>
theoretical results, tools, and open challenges in formal<br>
reasoning.<br>
<br>
FMCAD employs a rigorous peer-review process and is devoted<br>
to maximizing the dissemination of papers. Accepted papers<br>
are distributed through both ACM and IEEE digital<br>
libraries. In addition, published articles are made<br>
available freely on the conference page and the authors<br>
retain the copyright. There are no publication fees. At<br>
least one of the authors is required to register for the<br>
conference and present the accepted paper.<br>
<br>
FMCAD 2014 will be co-located with MEMOCODE, the ACM/IEEE<br>
International Conference on Formal Methods and Models for<br>
Codesign, in Lausanne, Switzerland. MEMOCODE will take<br>
place from October 19 to 20, followed by a joint<br>
FMCAD/MEMOCODE tutorial day on October 21. FMCAD will<br>
continue from October 22 to 24, 2014.<br>
<br>
TOPICS OF INTEREST<br>
<br>
FMCAD welcomes submission of papers reporting original<br>
research on advances in all aspects of formal methods<br>
technology and its application to computer-aided design.<br>
Topics of interest include, but are not limited to, the<br>
following:<br>
<br>
-- Model checking, theorem proving, equivalence checking,<br>
abstraction and reduction, compositional methods,<br>
decision procedures at the bit- and word-level,<br>
probabilistic methods, combinations of deductive methods<br>
and decision procedures.<br>
<br>
-- Synthesis and compilation for computer system<br>
descriptions, modeling, specification, and implementation<br>
languages, formal semantics of languages and their<br>
subsets, model-based design, design derivation and<br>
transformation, correct-by-construction methods.<br>
<br>
-- Application of formal and semi-formal methods to<br>
functional and non-functional specification and<br>
validation of hardware and software, including timing and<br>
power modeling, verification of computing systems on all<br>
levels of abstraction, system-level design and<br>
verification for embedded and cyberphysical systems,<br>
hardware-software co-design and verification,<br>
transaction-level verification.<br>
<br>
-- Experience with the application of formal and semi-formal<br>
methods to industrial-scale designs. Tools that represent<br>
formal verification enablement, new features, or a<br>
substantial improvement in the automation of formal<br>
methods.<br>
<br>
-- Application of formal methods in areas beyond computer<br>
systems, including formal methods describing processes<br>
studied in other areas of science, engineering, and<br>
humanities.<br>
<br>
SUBMISSIONS<br>
<br>
Submissions must be made electronically in PDF format<br>
through a link available on the FMCAD web site<br>
<br>
</font></tt><a href=http://fmcad.org/FMCAD14><tt><font size=3 color=blue>http://fmcad.org/FMCAD14</font></tt></a><tt><font size=3><br>
<br>
Two categories of papers can be submitted: regular papers (8<br>
pages) and short papers (4 pages) containing ideas and<br>
results that can be described succinctly. Both regular and<br>
short papers must use the IEEE Transactions format on<br>
letter-size paper with a 10-point font size.<br>
<br>
Submissions must contain original research that has not been<br>
previously published, nor concurrently submitted for<br>
publication. Any partial overlap with published or<br>
concurrently submitted papers must be clearly indicated. If<br>
experimental results are reported, authors are strongly<br>
encouraged to provide adequate access to their data so that<br>
results can be independently verified.<br>
<br>
A small number of accepted papers will be considered for a<br>
distinguished paper award. Recently awarded papers include:<br>
<br>
* "An SMT Based Method for Optimizing Arithmetic<br>
Computations in Embedded Software Code", Hassan Eldib and<br>
Chao Wang (2013)<br>
<br>
* "A quantifier-free SMT encoding of non-linear hybrid<br>
automata", Alessandro Cimatti, Sergio Mover and Stefano<br>
Tonetta (2012)<br>
<br>
* "An Incremental Approach to Model Checking Progress Properties",<br>
Aaron Bradley, Fabio Somenzi, Zyad Hassan and Yan Zhang (2011)<br>
<br>
* "Applying SMT in Symbolic Execution of Microcode", Anders<br>
Franzen, Alessandro Cimatti, Alexander Nadel, Roberto<br>
Sebastiani, and Jonathan Shalev (2010)<br>
<br>
STUDENT FORUM<br>
<br>
FMCAD 2014 will host a Student Forum that provides a<br>
platform for graduate students at any career stage to<br>
introduce their research to the wider Formal Methods<br>
community, and solicit feedback. Submissions for the event<br>
must be short reports describing research ideas or ongoing<br>
work that the student is currently pursuing, and must be<br>
within the scope of FMCAD. Work, part of which has been<br>
previously published, will be considered; the novel aspect<br>
to be addressed in future work must be clearly described in<br>
such cases.<br>
<br>
The event will consist of short presentations by the student<br>
authors of each accepted submission, and of a poster that<br>
will be on display throughout the duration of the<br>
conference. Accepted submissions will be listed, with title<br>
and author name, in the event description in the conference<br>
proceedings. The authors will also have the option to<br>
upload their poster and presentation to the FMCAD web site.<br>
<br>
Limited funds will be available for travel assistance for <br>
students with accepted contributions.<br>
<br>
More details are available at<br>
</font></tt><a href="http://www.fmcad.org/FMCAD14/student-forum.shtml"><tt><font size=3 color=blue>http://www.fmcad.org/FMCAD14/student-forum.shtml</font></tt></a><tt><font size=3><br>
<br>
IMPORTANT DATES FOR STUDENT FORUM<br>
<br>
Submission Deadline: Sunday, June 08<br>
Acceptance notification: Sunday, Aug 03<br>
Forum date: Monday, Oct 20<br>
<br>
<br>
<br>
CO-LOCATED EVENTS<br>
<br>
The following meetings will be co-located with this year's edition:<br>
<br>
-- MEMOCODE 2014, the ACM/IEEE International Conference on<br>
Formal Methods and Models for Codesign<br>
( </font></tt><a href="http://www.memocode-conference.com/"><tt><font size=3 color=blue>http://www.memocode-conference.com</font></tt></a><tt><font size=3>
)<br>
<br>
-- DIFTS 2014, International Workshop on Design and<br>
Implementation of Formal Tools and Systems<br>
( </font></tt><a href=http://fmgroup.polito.it/cabodi/difts2014/><tt><font size=3 color=blue>http://fmgroup.polito.it/cabodi/difts2014/</font></tt></a><tt><font size=3>
)<br>
<br>
-- We are also proud to host this year's <br>
Hardware Model Checking Competition 2014 FMCAD Edition<br>
<br>
ORGANIZING COMMITTEE<br>
<br>
PROGRAM CHAIRS<br>
Koen Claessen, Chalmers University of Technology<br>
Viktor Kuncak, EPFL<br>
<br>
LOCAL ARRANGEMENT CHAIR<br>
Viktor Kuncak, EPFL<br>
<br>
PUBLICATION CHAIR<br>
Barbara Jobstmann, EPFL, Jasper DA, and CNRS/Verimag<br>
<br>
STUDENT FORUM CHAIR<br>
Ruzica Piskac, Yale University <br>
<br>
PUBLICITY CHAIR<br>
Mitra Purandare, IBM Research Lab, Zurich <br>
<br>
PROGRAM COMMITTEE<br>
<br>
Jason Baumgartner, IBM<br>
Dirk Beyer, University of Passau<br>
Armin Biere, Johannes Kepler University<br>
Per Bjesse, Synopsys<br>
Nikolaj Bjorner, Microsoft Research<br>
Roberto Bruttomesso, Atrenta<br>
Gianpiero Cabodi, Politecnico di Torino<br>
Hana Chockler, King's College<br>
Alessandro Cimatti, FBK-irst<br>
Koen Claessen (Chair), Chalmers University of Technology<br>
Bruno Dutertre, SRI International<br>
Ziyad Hanna, Jasper Design Automation<br>
Keijo Heljanko, Aalto University<br>
Alan Hu, University of British Columbia<br>
Warren Hunt, University of Texas<br>
Susmit Jha, Strategic CAD Lab, Intel<br>
Daniel Kroening, University of Oxford<br>
Viktor Kuncak (Chair), EPFL<br>
Panagiotis Manolios, Northeastern University<br>
Ken McMillan, Microsoft Research<br>
Katell Morin-Allory, TIMA Laboratory, Grenoble<br>
Lee Pike, Galois, Inc.<br>
Ruzica Piskac, Yale University<br>
Mitra Purandare, IBM Research Lab, Zurich<br>
Sandip Ray, Intel Corporation<br>
Philipp Ruemmer, Uppsala University<br>
Andrey Rybalchenko, Microsoft Research Cambridge<br>
Julien Schmaltz, TU Eindhoven<br>
Natasha Sharygina, Universita' della Svizzera Italiana<br>
Anna Slobodova, Centaur Technology<br>
Niklas Sorensson, Chalmers University of Technology<br>
Daryl Stewart, ARM<br>
Cesare Tinelli, The University of Iowa<br>
Martin Vechev, ETH Zurich<br>
Thomas Wahl, Northeastern University<br>
Georg Weissenbacher, Vienna University of Technology <br>
<br>
STEERING COMMITTEE<br>
<br>
Jason Baumgartner, IBM, USA<br>
Armin Biere, Johannes Kepler University in Linz, Austria<br>
Alan Hu, University of British Columbia, Canada <br>
Warren Hunt, University of Texas at Austin, USA</font></tt>