Call for Papers

1st Workshop on Formal Methods for Blockchains

We solicit two categories of regular papers:

  1. full papers should not exceed 12 pages
  2. short papers should not exceed 6 pages

not counting references and appendices.

In addition, we solicite the submission of extended abstracts of maximal 2 pages each, describing new and emerging ideas, or summarizing existing work. Authors of selected abstracts are invited to give short lightening talks of up to 15 minutes each.

All regular contributions (excluding extended abstracts for lightening talks) must be original work, not published or submitted elsewhere. They must be written in English in Springer LNCS LaTeX format and submitted through EasyChair (link will be provided soon).

All submissions will be peer-reviewed by at least three members of the program committee for quality and relevance. Accepted regular papers (full and short papers) will be included in the FM workshop post-proceedings, published as a volume of the Lecture Notes in Computer Science (LNCS) by Springer.

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.

Important Dates

  • 30 June 2019 / Submission deadline
  • 31 July 2019 / Author notification
  • 2 September 2019 / Camera-ready due
  • 7 or 8 October 2019 / Workshop
  • 15 November 2019 / Post-proceedings due (tentative)