[SMT-LIB] 1st Call for Papers, FMCAD2012

[Fahim Rahim]

***************************************************************************
                             FMCAD 2012
                FORMAL METHODS IN COMPUTER-AIDED DESIGN
                           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 selection of papers will be invited to a special issue of "Formal Methods in System Design.

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

PROGRAM COMMITTEE

Armin Biere, Johannes Kepler University,  Austria
Per Bjesse, Synopsis,   USA
Roderick Bloem,   Graz University of Technology,      Austria
Alessandro Cimatti,     FBK-IRST,   Italy
Byron Cook, Microsoft Research Cambridge, UK
Bruno Dutertre,   SRI international,      USA
Steven German, IBM, USA
Mark Greenstreet, University of British Columbia,     Canada
Aarti Gupta,      NEC Laboratories America,     USA
Youssef Hamadi,   Microsoft Research Cambridge, UK
Alan Hu,    University of British Columbia,     Canada
Warren Hunt,      University of Texas at Austin,      USA
Barbara Jobstmann,      VERIMAG,    France
Kevin Jones,      City University London, UK
Daniel Kroening,  University of Oxford,   UK
Thomas Kropf,     Robert Bosch GmbH,      Germany
Joao Marques-Silva,     University College Dublin,    Ireland
Arie Matsliah,    IBM,  Israel
Ken Mcmillan,     Microsoft Research Seattle,   USA
Tom Melham, University of Oxford,   UK
John O'Leary,     Intel,      USA
Lee Pike,   Galois,     USA
Sandip Ray, Intel,      USA
Julien Schmaltz,  Open University of the Netherlands, The Netherlands
Natasha Sharygina,      University of Lugano,   Switzerland
Mary Sheeran,     Chalmers University,    Sweden
Anna Slobodova,   Centaur,    USA
Fabio Somenzi,    Univ Colorado at Boulder,     USA
Sudarshan Srinivasan,   North Dakota State Univ,      USA
Murali Talupur,   Intel,      USA
Helmut Veith,     Vienna University of Technology,    Austria
Thomas Wahl,      Northeastern University,      USA
Marcus Wedler,    University of Kaiserslautern, Germany

LOCAL ARRANGEMENT CHAIRS

Peter Boehm, University of Oxford, UK
Samin Ishtiaq, Microsoft Research Cambridge, UK

PUBLICATION CHAIR

Stefano     Quer, Politecnico di Torino, Italy

PUBLICITY CHAIRS

Slava Bulach, Robert Bosch GmbH, Germany
Fahim Rahim, Atrenta, France

TUTORIAL CHAIR

Rolf Drechsler, University of Bremen, Germany

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


_______________________________________

Fahim Rahim, PhD
Director Of Engineering
Atrenta Inc.
7 Parvis Louis Néel | BP 50 | 38040 Grenoble cedex 9 | France
Phone: +33 4 38 12 05 91 ext. 431 | Fax: +33 4 76 84 65 51
Email: fahim at atrenta.com<mailto:bruno at atrenta.com>
www.atrenta.com<http://www.atrenta.com/>





________________________________

NOTE: This message and its attachments are intended only for the individual or 
entity to which it is addressed and may contain confidential information or 
forward-looking statements regarding product development.  Forward-looking 
statements are subject to change at Atrenta's sole discretion and Atrenta will have 
no liability for the delay or failure to deliver any product or feature mentioned in 
such forward-looking statements.