[Apologies for multiple copies]
******************************************************************************************************************************
CALL FOR PAPERS
******************************************************************************************************************************
4th Workshop on Formal Methods in the Development of Software: WS-FMDS 2014
SUBMISSION DEADLINE EXTENDED TO JUNE 15
http://antares.sip.ucm.es/ws-fmds2014
September 1, Grenoble. FRANCE
Co-located with the 12th International Conference on Software
Engineering and Formal Methods: SEFM 2014
http://sefm2014.inria.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
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 2014 in EasyChair:
https://www.easychair.org/conferences/login_as_yes.cgi?a=6148338. Each
submitted paper must conform to the Lecture Notes in Computer Science
<http://www.springer.com/computer/lncs?SGWID=0-164-12-73062-0> 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 2014. 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 ===
* June 15, 2014: Deadline for submission of papers
* July 15, 2014: Notification to authors
* July 30, 2014: Deadline for camera-ready versions
* September 1, 2014: WS-FMDS 2014
=== ORGANIZATION ===
* Chairs
o Carlos Gregorio-Rodríguez , U. Complutense de Madrid, Spain
o Fernando L. Pelayo, U. Castilla - La Mancha, Spain
* Publicity Chair
o Fernando L. Pelayo, U. Castilla - La Mancha, Spain
* Program Committee
o Rui Abreu, U. of Porto, Portugal
o Mario Bravetti, U. of Bologna, Italy
o Haitao Dan, Brunel U., UK
o Carlos Gregorio-Rodríguez , U. Complutense de Madrid, Spain
o Raluca Lefticaru, U. of Pites,ti, Romania
o Luis Llana, U. Complutense de Madrid, Spain
o Jasen Markovski, Eindhoven U. of Technology, the Netherlands
o Fernando L. Pelayo, U. Castilla - La Mancha, Spain
o Pascal Poizat, U. of Evry Val d'Essonne, France
o Fernando Rosa-Velardo, U. Complutense de Madrid, Spain
o Franz Wotawa, Graz U. of Technology, Austria
o Fatiha Zaïdi, U. of Paris-Sud, France
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
