[Please accept our apologies if you receive multiple copies of this email]

***********************************************************************
CALL FOR PAPERS
***********************************************************************

2nd Workshop on Formal Methods in the Development of Software  (WS-FMDS)

http://antares.sip.ucm.es/ws-fmds2012/


Co-located with the 18th International Symposium on Formal Methods
FM 2012

http://fm2012.cnam.fr/


***********************************************************************

== SCOPE==

Developing software concerns all the aspects of the production cycle
of software systems and requires expertise in data management, design
and algorithm paradigms, programming languages, and human computer
interfaces. Most software development life cycle methodologies are
either iterative or follow a sequential model. Such systems may
contain a huge amount of lines of code. Thus, when developing these
systems, it is necessary to apply sound engineering principles in
order to economically obtain reliable and efficient software.

Formal methods refer to techniques based on mathematics for the
specification, development, and verification of systems. The use of
formal methods is especially important in reliable systems where, due
to safety and security reasons, it is important to ensure that errors
are not included during the development process. Formal methods are
particularly effective when used early in the development process, at
the requirements and specification levels, but can be used for a
completely formal development of a system. One of the advantages of
using a formal representation of systems is that it allows to
rigorously analyze their properties. In particular, it helps to
establish the correctness of the system with respect to the
specification or the fulfilment of a specific set of requirements, to
check the semantic equivalence of two systems, to analyze the
preference of a system to another one with respect to a given
criterion, to predict the possibility of incorrect behaviors, to
establish the performance level of a system, etc. This new workshop
welcomes papers on any aspect concerning the formal development of
software systems.


=== TOPICS OF INTEREST===

The aim of WS-FMDS is to bring together scientists and practitioners who
are active in the area of formal methods and interested in exchanging
their experiences in the industrial usage of these methods. This
workshop also strive to promote research and development for the
improvement of formal methods and tools for industrial applications.
Relevant topics include, but are not limited to:

   * Formal methodologies applied to security, performance and quality of
Software.
   * Model-driven development, testing, and analysis of Software.
   * Applied formal testing.
   * Combinations of different formal techniques.
   * Measurement and metrics.
   * Experience of industrial case studies.
   * Implementation of platforms / tools.

=== PAPER SUBMISSION, REVIEW AND PUBLISHING ===

Submissions must be original and should not have been published previously
nor be under consideration for publication while being evaluated for this
workshop.

All papers must be submitted at the following submission site:
EasyChair paper submission page for WS-FMDS 2012. Each submitted paper
must conform to the Electronic Proceedings in Theoretical Computer
Science format and submission guidelines. Papers should not exceed 8
pages in length. If necessary, the paper may be supplemented with a
clearly marked appendix, which will be reviewed at the discretion of
the program committee. Submissions will be evaluated according to the
relevance and originality of the work and to their ability to generate
discussions between the participants of the workshop. Each paper will
be reviewed by three reviewers. There will be no formal workshop
proceedings; accepted papers and presentations will be posted on the
Web site of the workshop and will be made available to attendees of FM
2012. The final versions of the papers will  be published
in a volume of Electronic Proceedings in Theoretical Computer
Science.


=== IMPORTANT DATES ===

March 23, 2012: Deadline for submission of papers

May 21, 2012: Notification to authors

June 11, 2012: Deadline for camera-ready versions

August 27-28, 2012: WS-FMDS 2012


=== ORGANIZATION ===

Chairs

   , U. Complutense de Madrid
   Luis Llana, U. Complutense de Madrid

Publicity Chair

   Gregorio-Rodríguez Carlos, U. Complutense de Madrid, Spain

Program Committee

   Rui Abreu, U. of Porto, Portugal
   Cesar Andres, U. Complutense de Madrid, Spain
   Mario Bravetti, U. of Bologna, Italy
   M.Emilia Cambronero, U. de Castilla la Mancha, Spain
   Ana R. Cavalli, Telecom SudParis, France
   Haitao Dan, Brunel U., UK
   Gregorio-Rodríguez Carlos, U. Complutense de Madrid, Spain
   Raluca Lefticaru, U. of Piteşti, Romania
   Luis Llana, U. Complutense de Madrid, Spain
   Jasen Markovski, Eindhoven U. of Technology, the Netherlands
   Pascal Poizat, U. of Evry Val d'Essonne, France
   Franz Wotawa, Graz U. of Technology, Austria
   Fatiha Zaïdi, U. of Paris-Sud, France