****************************************************************************************
CALL FOR PAPERS
****************************************************************************************
3rd Workshop on Formal Methods in the Development of Software: WS-FMDS 2013
http://antares.sip.ucm.es/ws-fmds2013
September 23 - 24, Madrid. SPAIN

Co-located with the 11th International Conference on Software Engineering and Formal Methods: SEFM 2013
http://antares.sip.ucm.es/sefm2013
****************************************************************************************

== 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 included during neither the development nor the updating/extending processes. Although formal methods are particularly effective when used early in the development process, at the requirements and specification levels, they can also 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 fulfillment 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 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 strives to promote research and development for the improvement of theoretical aspects of formal methods and tools focused on practical usability 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 to the paper submission page for WS-FMDS 2013 in EasyChair, https://www.easychair.org/conferences/?conf=wsfmds2013. Each submitted paper must conform to the Lecture Notes in Computer Science format and submission guidelines. Papers should not exceed 12 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 SEFM 2013. Revised versions of the papers including comments and discussions along workshop will be published in a volume of Lecture Notes in Computer Science.

=== IMPORTANT DATES ===

April 5, 2013: Deadline for submission of papers
May 31, 2013: Notification to authors
June 21, 2013: Deadline for camera-ready versions
September 23-24, 2013: WS-FMDS 2013

=== ORGANIZATION ===

Chairs
Carlos Gregorio-Rodríguez , U. Complutense de Madrid, Spain
Fernando L. Pelayo, U. Castilla - La Mancha, Spain
Publicity Chair
Carlos Gregorio-Rodríguez , U. Complutense de Madrid, Spain
Program Committee
Rui Abreu, U. of Porto, Portugal
Mario Bravetti, U. of Bologna, Italy
Haitao Dan, Brunel U., UK
Carlos Gregorio-Rodríguez , 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
Fernando L. Pelayo, U. Castilla - La Mancha, Spain
Pascal Poizat, U. of Evry Val d'Essonne, France
Franz Wotawa, Graz U. of Technology, Austria
Fatiha Zaïdi, U. of Paris-Sud, France