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 2019Extended: 30 June 2019/ Abstract submission deadline30 June 2019Extended: 07 July 2019 /Paper submission deadline31 July 2019Extended: 07 August 2019 /Author notification- 11 October 2019 / Workshop
- 15 November 2019 / Post-proceedings due (tentative)
Proceedings
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.
