FMBC 2021: 3RD INTERNATIONAL WORKSHOP ON FORMAL METHODS FOR BLOCKCHAINS
PROGRAM

Days: Sunday, July 18th Monday, July 19th

Sunday, July 18th

View this program: with abstractssession overviewtalk overview

08:00-08:05 Session 1: Introduction
Chairs:
Bruno Bernardo and Diego Marmsoler
08:05-09:05 Session 2
08:05
Daniel Britten, Vilhelm Sjöberg and Steve Reeves
Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (abstract)
08:25
Kinnari Dave, Vilhelm Sjoberg and Xinyuan Sun
Towards Verified Price Oracles (abstract)
08:45
Murdoch Gabbay, Arvid Jakobsson and Kristina Sojakova
Money Grows on (Proof-)Trees: Formalisation and Correctness of the FA1.2 Ledger Standard (abstract)
09:20-10:00 Session 3
09:20
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore, Alceste Scalas and Roberto Zunino
A Formal Model of Algorand Smart Contracts (abstract)
09:35
Massimo Bartoletti, James Hsin-Yu Chiang and Alberto Lluch-Lafuente
Formal Methods in Decentralized Finance (abstract)
Monday, July 19th

View this program: with abstractssession overviewtalk overview

08:00-08:55 Session 4
08:00
Thi Thu Ha Doan and Peter Thiemann
Towards Contract Modules for the Tezos Blockchain (abstract)
08:20
Sylvain Conchon, Alexandrina Korneva, Mohamed Iguernlala, Alain Mebsout and Çagdas Bozman
Formally Documenting Tenderbake (abstract)
08:40
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti and Adele Veschetti
A Technique For Analysing Permissionless Blockchain Protocols (abstract)
09:00-10:00 Session 5: Invited talk
09:00
David Dill
Formal verification of Move programs for the Diem blockchain (abstract)