[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.
Formatting and Submission Guidelines:
Papers must be written in English and conform to the LNCS format and submission guidelines. The maximum size is 15 pages. PDF versions of papers should be submitted trough EasyChair submission system.
All accepted papers will be published in STAF Workshop Post-Proceedings (Springer LNCS).
We invite submissions in three categories:
• Research papers reporting innovative and original research in the field.
• Work-in-Progress/vision papers describing ongoing research, emerging results and future ideas&trends.
• Tool papers describing operational tool and its contributions.
If you submit a paper and it gets accepted, at least one of the (co)author(s) is expected to present the paper at the workshop.
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. 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 methods
• Readability and usability of specification/modeling notations and tools
• Human factors of/for formal methods
• Visualization of/in formal methods
• Human error and human factors in software engineering
• Cross-disciplinary automation and hybrid formal methods
• Usability and scalability of formal methods and the corresponding tools
• Usability evaluation in automated verification and testing
• Crowd-enabling and gamification for human-centered software development, verification and testing, especially based on formal specification and methods
• Teaching of formal methods as a software engineering discipline