WS-FMDS 2012 August 28, 2012, France

WorkShop on
Methods in the
Development of

Welcome to WS-FMDS.

2nd Workshop on Formal Methods in the Development of Software

  • CNAM


    August 27-28, 2012, CNAM of Paris, France

  • QSIC 2011

    FM 2012

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

    (FM 2012)

WS-FMDS 2012.

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.

Call for papers in txt