WS-FMDS July 13-14, 2011, Spain

WorkShop on
Formal
Methods in the
Development of
Software

Welcome to WS-FMDS.

1st Workshop on Formal Methods in the Development of Software

  • UCM

    Dates

    July 13-14, 2011, Universidad Complutense de Madrid, Spain

  • QSIC 2011

    QSIC 2011

    Co-located with the 11th International Conference On Quality Software.

    (QSIC 2011)

WS-FMDS 2011.

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 2011. Each submitted paper must conform to the IEEE 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, and accepted papers will be published in the IEEE Digital Library.