GUIDELINES FOR SUBMISSION

All contributions should be original work, not published or submitted elsewhere, written in English, formatted in EPTCS LaTeX style, and submitted through EasyChair. All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted papers will be included in the workshop proceedings, published as a volume of the Electronic Proceedings in Theoretical Computer Science (EPTCS provides DOIs and is connected with arXiv and DBLP).

We solicit two categories of papers:

1. Regular papers of max. 15 pages, focusing on

   • method applications (e.g. case studies, conducted experiments) or

   • comparative studies (e.g. detailed comparison of two methods by example),

2. short papers of max. 6 pages, focusing on

   • research summaries, focused literature surveys, systematic maps,

   • experience reports or success stories, opinions or positions, agendas or visions, or

   • proposals of research designs (e.g. controlled field experiments) for the practical evaluation of formal approaches.

Page limits are excluding references and appendices. Supplemental material can also be archived via the Zenodo community "Applicable Formal Methods". At least one author of an accepted paper is expected to present the paper at the workshop (online or on-site) as a registered participant. High-quality and high-relevance contributions might be considered for extension and inclusion in a special issue of the ACM journal "Formal Aspects of Computing: Applicable Formal Methods".