WS-FMDS 2013 September 24, 2013, Spain

WorkShop on
Methods in the
Development of

Welcome to WS-FMDS 2013

3rd Workshop on Formal Methods in the Development of Software

  • Creative Commons License, by Antonio García


    September 24, 2013, Madrid, Spain

  • QSIC 2011

    SEFM 2013

    Co-located with the 11th International Conference on Softaware Engineering and Formal Methods

    (SEFM 2013)

WS-FMDS 2013

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