[Also available as pdf.]
Based on the aim of the workshop, it’s goals and theme, we invite you to submit a paper to the workshop, and present and discuss it at the event itself.
Deadline for paper submission:
3 June, 2015 June 15, 2015 (AoE)
June 19 June 24, 2015(AoE)
Deadline for camera ready papers: July 5, 2015 (AoE)
Workshop will take place on Monday, September 7, 2015.
Formatting and Submission Guidelines:
All accepted papers will be published as part of the Lecture Notes in Computer Science (LNCS, http://www.springer.com/lncs) proceedings volume, like the SEFM-2013 and SEFM-2014 post-workshop proceedings.
PDF versions of papers should be submitted trough EasyChair submission system.
The maximum size is 15 pages using the LNCS Formatting Guidelines.
We invite submissions in three categories:
- Research papers reporting innovative and original research in the field.
- Work-in-Progress/vision describing ongoing research, emerging results and future ideas&trends.
- Tool papers describing operational tool and its contributions.
Submitted papers will be reviewed by 3 members of Program/Organizing Committee (or their sub-reviewers) and selection of accepted papers will based on relevance, quality and originality of the submitted papers.
If you submit a paper and it gets accepted, at least one of the (co)author(s) is expected to be present at the workshop to present the paper. All papers submitted to the workshop must be unpublished original work and should not be under review or submitted elsewhere while being under consideration.
Areas of interest include but are not limited to:
• Integration of formal methods in the industrial development life cycle , application of Formal Methods to real-world problems especially in domains listed below
• Optimization of the development tools based on formal models
• Specification/modeling notations and tools for human readability
• Human factors of/for formal methods
• Formal methods and design for usability
• Usability and scalability of formal methods tools
• Human error and human factors in software/systems dependability
• Interface design, formal specification and human factors
• Cross-disciplinary automation and hybrid formal methods
• Verification/testing automation
• Usability evaluation in automated verification and testing
• Visualisation of/in formal methods and tools
• Domain-specific languages for verification and validation
• Crowd-enabling and gamification for human-centred verification
• Domain-specific formal methods for real-world problems
• Teaching of Formal Methods, especially wrt. human factors