The proceedings of FMSPLE will be published as a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS). The contributed papers are expected to comprise research papers containing novel and previously unpublished results, experience reports, reports of industrial case studies, tool descriptions, and short papers describing work in progress or exploratory ideas. All papers have to follow the EPTCS conference proceedings format (Letter) and be 6-12 pages of length.
The papers should be submitted via the EasyChair conference management system and will be reviewed by at least three members of the program committee. The program committee will select the best papers based on quality, relevance to the workshop, and potential to initiate discussions for presentation.
Easychair submission link.