[ 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>
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
