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.