WS-FMDS 2014 September 2, 2014, France

WorkShop on
Methods in the
Development of

Welcome to WS-FMDS 2014

4th Workshop on Formal Methods
in the Development of Software


Keynote Speaker

Radu Mateescu chairman of the Formal Methods for Industrial Critical Systems (FMICS), Working Group of the European Research Consortium for Informatics and Mathematics (ERCIM). SEFM 2014 Conference Chair.

  • Creative Commons License, by Laurent Espitallier


    September 2nd, 2014, Grenoble, France

  • SEFM 2014

    SEFM 2014

    Co-located with the 12th International Conference on Software Engineering and Formal Methods

    (SEFM 2014)

WS-FMDS 2014

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, 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 at least by three referees. 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.