5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation

0 views

Skip to first unread message

unread,

Apr 3, 2024, 4:35:56 AM4/3/24

to Marmsoler, Diego

[ Please distribute, apologies for multiple postings. ]

========================================================================

5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation

April 07, 2024, Luxembourg City, Luxembourg, 09:00 - 18:00 CEST

Co-located with the European joint conferences on theory and practice of software (ETAPS 2024)

---------------------------------------------------------

The FMBC 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

* Design and implementation of Smart Contract languages

* Verification of Smart Contracts

This year, we will have 9 research talks and 2 additional lightning talks.

The program is available online:

In addition, we are excited to have a keynote by **Franck Cassez** (https://franck44.github.io/) from Mantle (https://www.mantle.xyz/) about

**Deductive verification of smart contracts**

# Registration

Registration to FMBC 2024 is done through ETAPS 2024:

Diego Marmsoler
Lecturer (Education and Research), Computer Science
University of Exeter, Innovation 1, Room 10