Abstract: This workshop is a forum to identify theoretical and practical approaches of formal methods for blockchain technology. Topics include, 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, Formal languages for Smart Contracts, Verification of Smart Contracts