The submission deadline for the first workshop on Formal Methods for Blockchain co-located with the 3th Formal Methods World Congress was extended. The new deadlines are as follows:
- Abstract Submission: 2019-06-30
- Paper Submission: 2019-07-07
We are looking forward to your submission!
Dr. Diego Marmsoler 