All contributions should be original work, not published or submitted elsewhere, in Springer LNCS LaTeX format, written in English, 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 FM workshop post-proceedings, published as a volume of the Lecture Notes in Computer Science (LNCS) by Springer (i.e. properly indexed and with DOIs).

We solicit two categories of papers:

  1. regular papers of min. 12 and max. 15 pages and
  2. short papers of min. 4 and max. 8 pages,

excluding references and appendices. Supplemental material can also be archived via the Zenodo community "Empirical Formal Methods".

At least one author of an accepted paper is expected to present the paper at the workshop as a registered participant.

All accepted contributions will be reviewed once more by the programme committee after the workshop and before being included in the post-proceedings. (Springer supports green Open Access, e.g. preprints on arXiv. Charges for full/gold Open Access cannot be funded and corresponding requests should be coordinated early with the Springer editorial office directly.)

High-quality and high-relevance contributions will be considered for extension and inclusion in a special issue of the Springer journal "Formal Aspects of Computing: Applicable Formal Methods".


7 July 2019 / Submission deadline (extended from 30 June)

31 July 2019 / Author notification

2 September 2019 / Camera-ready due

7 October 2019 / Workshop

15 November 2019 / Post-proceedings due (tentative)

This workshop has been cancelled.