[ecoop-info] FMCAD 2013 Final Call for Papers

[Chao Yan]

FMCAD 2013 - FORMAL METHODS IN COMPUTER-AIDED DESIGN

FINAL CALL FOR PAPERS

International Conference on Formal Methods in Computer-Aided Design
http://www.fmcad.org/FMCAD13
Portland, OR, USA October 20-23, 2013


IMPORTANT DATES

Abstract Submission: May 8
Paper Submission: May 15
Author Notification: July 17
Final Version: August 14
Conference: October 20 - 23

Student Forum: (NEW! --- See below for details)

Submission Deadline: June 2
Notification: August 4


KEYNOTES

- Pranav Ashar, Chief Technology Officer, Real Intent,
  "Static Verification Based Signoff - A Key Enabler for
  Managing Verification Complexity in the Modern SoC"

- Lori A. Clarke, Professor, University of Massachusetts,
  Amherst, "Using Process Modeling and Analysis Techniques
  to Reduce Errors in Healthcare"


TUTORIALS 

- Rajeev Alur, University of Pennsylvania, "Computer
  Augmented Program Engineering"

- Jim Grundy, Intel Corporation, "Firmware Validation:
  Challenges and Opportunities"

- Somesh Jha, Bill Harris, Tom Reps, University of
  Wisconsin-Madison, "Secure Programs via Game-Based
  Synthesis"

- Other Tutorials TBD

CONFERENCE SCOPE

FMCAD 2013 is the thirteenth 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.

FMCAD 2013 will be held in Portland, OR, USA, and co-located
with MEMOCODE, the ACM/IEEE International Conference on
Formal Methods and Models for Codesign, and DIFTS 2013, the
International Workshop on Design and Implementation of
Formal Tools and Systems.  DIFTS will be held on October 19.
MEMOCODE will take place from October 18 to 19, followed by
a joint FMCAD/MEMOCODE tutorial day on October 20.  FMCAD
will continue from October 21 to 23, 2013.


TOPICS OF INTEREST

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, the
following:

- 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 are available from the FMCAD Web
site.  The proceedings will be freely available from the
FMCAD Web site.  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.


PUBLICATION

Accepted papers, both regular and short, will be published
in the FMCAD Conference Proceedings.  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.  As with recent editions of
FMCAD, the papers are also expected to be available online
from the FMCAD Web page.  In addition, we are planning a
special journal issue with the best papers of FMCAD, DIFTS,
and MEMOCODE 2013.


STUDENT FORUM

FMCAD 2013 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.

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 webpage.

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


CO-LOCATED EVENTS

The following meetings will be co-located with this year's edition:

- MEMOCODE 2013, the ACM/IEEE International Conference on
  Formal Methods and Models for Codesign
  (http://www.memocode-conference.com).

- DIFTS 2013, International Workshop on Design and
  Implementation of Formal Tools and Systems

We are also proud to host this year's Hardware Model Checking
Competition (HWMCCC 2013).


ORGANIZING COMMITTEE

CHAIRS
Barbara Jobstmann, Jasper Design Automation and CNRS-VERIMAG
Sandip Ray, Intel Corporation

LOCAL ARRANGEMENT CHAIR
Joe Leslie-Hurd, Intel Corporation

PUBLICATION CHAIR
Julien Schmaltz, Open University of The Netherlands

TUTORIAL CHAIR
Malay Ganai, NEC Laboratories America

STUDENT FORUM CHAIR
Thomas Wahl, Northeastern University

PUBLICITY CHAIR
Chao Yan, Intel Corporation

WEBMASTER
Shilpi Goel, University of Texas at Austin


PROGRAM COMMITTEE

Jason Baumgartner, IBM Corporation
Dirk Beyer, University of Passau
Armin Biere, Johannes Kepler University
Per Bjesse, Synopsys
Nikolaj Bjorner, Microsoft Research
Roderick Bloem, TU Graz
Gianpiero Cabodi, Politecnico di Torino
Hana Chockler, IBM Research
Alessandro Cimatti, FBK-irst
Koen Claessen, Chalmers University of Technology
Malay Ganai, NEC Labs America
Steven German, IBM
Ganesh Gopalakrishnan, University of Utah
Alberto Griggio, FBK-IRST
Ziyad Hanna, University of Oxford
Keijo Heljanko, Aalto University
Alan Hu, University of British Columbia
William Hung, Synopsys Inc
Warren Hunt, University of Texas
Susmit Jha, Strategic CAD Lab, Intel
Shuvendu Lahiri, Microsoft Research
Panagiotis Manolios, Northeastern University
Tom Melham, University of Oxford
John O'Leary, Intel Corporation
Lee Pike, Galois, Inc.
Ruzica Piskac, Max Planck Institute for Software Systems (MPI-SWS)
Philipp Ruemmer, Uppsala University, Department of Information Technology
Cesar Sanchez, IMDEA Software Institute
Julien Schmaltz, Open University of The Netherlands
Natasha Sharygina, University of Lugano, Switzerland
Anna Slobodova, Centaur Technology
Niklas Sorensson, Mentor Graphics
Daryl Stewart, ARM
Thomas Wahl, Northeastern University
Georg Weissenbacher, Vienna University of Technology


STEERING COMMITTEE

Jason Baumgartner, IBM, USA
Armin Biere, Johannes Kepler University in Linz, Austria
Aarti Gupta, NEC Labs America, USA
Warren Hunt, University of Texas at Austin, USA
Panagiotis Manolios, Northeastern University, USA