Call for Papers

1st Workshop on Formal Methods for Blockchains

hosted by the 3rd Formal Methods World Congress on October 11, 2019 in Porto, Portugal

Submit original manuscripts (not published or considered elsewhere) with a maximum (including references and appendices) of twelve pages (regular papers), six pages (short papers), and two pages (extended abstract) describing new and emerging ideas or summarizing existing work). Each paper should include a title and the name and affiliation of each author. Authors of selected extended-abstracts are invited to give a short lightning talk of up to 15 minutes. 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 program committee after the workshop and before being included in the post-proceedings.

.Submission: closed

Important Dates

  • 23 June 2019 Extended: 30 June 2019 / Abstract submission deadline
  • 30 June 2019 Extended: 07 July 2019 / Paper submission deadline
  • 31 July 2019 Extended: 07 August 2019 / Author notification
  • 11 October 2019 / Workshop
  • 15 November 2019 / Post-proceedings due (tentative)


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.