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

[Marmsoler, Diego]

[ Please distribute, apologies for multiple postings. ]

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

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

https://fmbc.gitlab.io/2024

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)

https://www.etaps.org/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:

https://easychair.org/smart-program/FMBC2024/

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:
https://www.etaps.org/2024/attending/

Diego Marmsoler
Lecturer (Education and Research), Computer Science
University of Exeter, Innovation 1, Room 10
www: marmsoler.com<http://www.marmsoler.com>
Twitter: @DiegoMarmsoler<https://twitter.com/DiegoMarmsoler>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20240403/d266f565/attachment.htm>