Email Gateway (Apr 03 2024 at 08:41): Email Gateway (Apr 03 2024 at 08:41):From: "\"Marmsoler, Diego\"" <cl-isabelle-users@lists.cam.ac.uk>
[ 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:
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 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>
Last updated: May 05 2024 at 04:19 UTC