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, https://www.easychair.org/conferences/?conf=wsfmds2013. 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.