FMBC 2021: 3rd International Workshop on Formal Methods for Blockchains Los Angeles, California, USA Los Angeles, CA, United States, July 18-19, 2021 |
Conference website | https://fmbc.gitlab.io/2021/ |
Submission link | https://easychair.org/conferences/?conf=fmbc2021 |
Conference program | https://easychair.org/smart-program/FMBC2021/ |
Abstract registration deadline | April 22, 2021 |
Submission deadline | April 29, 2021 |
3nd Workshop on Formal Methods for Blockchains (FMBC) 2021
July 18 or 19 (TBA), 2021
Co-located with the 33nd International Conference on Computer-Aided Verification (CAV 2021)
IMPORTANT DATES
- Abstract submission: April 22, 2021
- Full paper submission: April 29, 2021
- Notification: June 10, 2021
- Camera-ready: July 8, 2021
- Conference: July 18 or 19 (TBA), 2021
TOPICS OF INTEREST
Blockchains are decentralized transactional ledgers that rely oncryptographic hash functions for guaranteeing the integrity of thestored data. Participants on the network reach agreement on what validtransactions are through consensus algorithms.
Blockchains may also provide support for Smart Contracts. SmartContracts are scripts of an ad-hoc programming language that arestored in the Blockchain and that run on the network. They caninteract with the ledger’s data and update its state. These scriptscan express the logic of possibly complex contracts between users ofthe Blockchain. Thus, Smart Contracts can facilitate the economicactivity of Blockchain participants.
With the emergence and increasing popularity of cryptocurrencies suchas Bitcoin and Ethereum, it is now of utmost importance to have strongguarantees of the behavior of Blockchain software.These guarantees can be brought by using Formal Methods. Indeed,Blockchain software encompasses many topics of computer science whereusing Formal Methods techniques and tools are relevant: consensusalgorithms to ensure the liveness and the security of the data on thechain, programming languages specifically designed to write SmartContracts, cryptographic protocols, such as zero-knowledge proofs,used to ensure privacy, etc.
This workshop is a forum to identify theoretical and practicalapproaches of formal methods for Blockchain technology. Topicsinclude, but are not limited to:* Formal models of Blockchain applications or concepts* Formal methods for consensus protocols* Formal methods for Blockchain-specific cryptographic primitives or protocols* Design and implementation of Smart Contract languages* Verification of Smart Contracts
SUBMISSION
Submit original manuscripts (not published or considered elsewhere) with a page limit of 12 pages for full papers and 6 pages for short papers (excluding bibliography and short appendix of up to 5 additional pages).
Alternatively you may also submit an extended abstract of up to 3 pages (including bibliography) summarizing your ongoing work in the area of formal methods and blockchain. Authors of selected extended-abstracts are invited to give a short lightning talk.
Submission link: https://easychair.org/conferences/?conf=fmbc2021
Authors are encouraged to use LaTeX and prepare their submissions according to theinstructions and styling guides for OASIcs provided by Dagstuhl.
Instructions for authors: https://submission.dagstuhl.de/documentation/authors#oasics
At least one author of an accepted paper is expected to present the paper at the workshopas a registered participant.
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 workshop proceedings, published as a volume of the OpenAccess Series in Informatics (OASIcs) by Dagstuhl.
INVITED SPEAKER
To be confirmed
PROGRAM COMMITTEE
PC CO-CHAIRS
Bruno Bernardo (Nomadic Labs, France) (bruno@nomadic-labs.com)
Diego Marmsoler (University of Exeter, UK) (D.Marmsoler@exeter.ac.uk)
PC MEMBERS
To be confirmed