Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] (PN) 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation
Chronological Thread
- From: "Marmsoler, Diego" <address@concealed>
- To: "Marmsoler, Diego" <address@concealed>
- Subject: [PN-world] (PN) 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation
- Date: Wed, 3 Apr 2024 08:35:40 +0000
- Accept-language: en-GB, de-DE, en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exeter.ac.uk; dmarc=pass action=none header.from=exeter.ac.uk; dkim=pass header.d=exeter.ac.uk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=FBT6jsLMPxdWHwPvSLHdRctohe6e1B03DfXSgXCJJ1w=; b=gB0RJLIK1vX91Yj2IbqFb5lOi9l4x06crHxU8ZO7mSVIsZnOuv/6K1J6QO/xsS/uSf0VELlCxYP7y5qH4wHFTR2WHgg/65E8j5PT2bDCchrkW7x3YCAmk7p8FOkrfzxcZjl3KerJk/lXMIqoH9DED/dWYy806rAdsgll4q6pHB2/LRbjgi6by/uvYQbFMytGuxrN/22vEJi+rSxtU7eSOdqcrMHMg1ILL8z69+7IQmAhPQku49dYVG+92BGQ7w/R5+FAkBvv1e/9Xsu8nFbQChoVAWgmrGytKNZo6v56nNM5LHzfScJ0mVYxFPSot1i7CeaWrlZmDFq8dtvVe1G7lg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=CjgT7TYK2lNUwhSRkEcE1HwZd6Ty+Fx1N3d3MbZivv7gIK8O02blKwX6C4AS0WLGtlBbRgXMJaHrMQ6vfkdPJ+N+YKO9oOb7mlDy5Xiumfguu6hx9Jy7t/R/0hFGU83c8HXLkTeWBCaDZQtkWatPdIFZ9tP28/tMm6nLQ/NMF6EnbquxR7Reb4no6+flqZcy/FIUz8Vam5rDt2xgrbQK5syTaIvZCS95aBSiJkGdi9c6wWd5WGGBtyHyLfhGpDfLBMQXAiXXfNfprWLe3+Pv6iw5Z23L4kBXu/Z2TyBe/2yoxYWfmH1wQa6jlLaC9SNmGQMR+EtKRuxqfg47kuUeGw==
- Authentication-results: mx03.rrz.uni-hamburg.de (amavisd-new); dkim=pass (1024-bit key) header.d=exeter.ac.uk
- Authentication-results: spool.mail.gandi.net; dkim=fail ("headers rsa verify failed") header.d=exeter.ac.uk header.s=selector2 header.b=VwVtNCei; dmarc=fail reason="SPF not aligned (relaxed)" header.from=exeter.ac.uk (policy=reject); spf=pass (spool.mail.gandi.net: domain of address@concealed designates 134.100.38.113 as permitted sender) address@concealed; arc=reject ("signature check failed: fail, {[1] = sig:microsoft.com:reject}")
|
[ 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:
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
www:
marmsoler.com
|
- [PN-world] (PN) 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation, Marmsoler, Diego, 04/03/2024
Archive powered by MHonArc 2.6.19+.