coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: "Marmsoler, Diego" <D.Marmsoler AT exeter.ac.uk>
To: "Marmsoler, Diego" <D.Marmsoler AT exeter.ac.uk>
Subject: [Coq-Club] 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: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=D.Marmsoler AT exeter.ac.uk; spf=Pass smtp.mailfrom=D.Marmsoler AT exeter.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-LO4-obe.outbound.protection.outlook.com
Ironport-data: A9a23:hSleL6Ne/mfArJPvrR2xnMFynXyQoLVcMsEvi/4bfWQNrUon1GdUm GdKUG/SM6uDMzGmLo8la4jgpB9XvMTUx9ZlHHM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYADNNwJcaDpOt/rf8Eg35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXLYVHS2/F0Vn0aGqMk671oL2pQ+ MMXfWVlghCr34pawZqUYNM034EHC5WuO4kS/HZ90TveEPAqB4jZRLnH7sNZ2zF2gd1SGfHZZ IwSbj8HgBboP0UJYw9ITstkxqHx3imXnz5w8Dp5oYIbpU3a1glq17zgKvLYatGWSN8Tl03eu 2GuE2HRW0xLaoPHmWbemp6qrvPDtzHCCIUSLaGx7aFXnUzQ6kscMiRDADNXptHi0RTiBLqzM Xc88S036KM26UaDVcj4RxT+oXievxdaVcA4LgEhwASEy66R5wHFCWIeFmdGboZ/7J9wQiE23 FiUmd+vHSZorLCeVXOa8PGTsC+2Pi8Wa2QFYEfoUDfp/fHusqsNlhbVFOpPN4CJn4bqNzruz g+F+X1Wa6ooseYH0KCy/Fbiij2qp4TUQgNd2ukxdjP9hu+eTN70D7FE+WTmAeB8wJGxYXPpg ZTps82X7eRLCZbRmyaXGLwKGuvwv6bDNyDAi1lyGZVn7y6q53OoYYFX5nd5OVttNcEHPzTuZ Sc/WD+9BrcMYBNGjocuOepd7vjGK4C8RbwJsdiIP7JzjmBZLlPvwc2XTRf4M5rRuEYti7ojH pyQbNyhC30XYYw+k2PsH7pDiuJ2nn9mrY82eXwd50X/uVZ5TC/NIYrpzHPSNr1ghE95iFmLr IoEZ5Pao/mheLSkOnOGqeb/0mzm3VBgXsqq9KS7h8aGIwF8H3omBeOZyrQ7Y+RYc1d9x4/1E oWGchYAkjLX3CWZQS3TMywLQO21Af5X8ylgVQRyZgnA5pTWSd3zhEvpX8BqJeVPGS0K5aIcc sTpjO3ZWKsVE2yco21MBXQ/xaQ7HCmWacu1F3LNSFACk1RIHWQlI/e9JlG1phodRDG6r9U/q LCG3wbWC8hLDQd7AcqcLLrlw1qttDJP0Kh/TmnZEOl1IU/MyYlNLzCur/kVJ8pXFw7P6AHH3 CmrADAZh9L3nakLzPfzi5uplbyZS9lFIhICHk3wz6qHCi3Bz2/yna5CSLmpeB7eZkPV+YKjR +FY4M+kAs0mgWd1lpdwLK1q6Ykc5NLfgaBQ4So5PXfMbnWtUqhBJFvf1+Zxl6R9/J1rkiroZ VCuo/50Ya6oPuHhG34vfDsVVPyJj6woq2OD/MYLL1Xfzw4p2ri+CGF5HQSG0Q5ZJ5tLaLIV+ /8r4pMq2lbumygRE4i0iw5P/D6xNV0GaaIss68aDKLNigYGzlJjY4TWOhTp4aOgOsl9DU03H gC63KbypaxQ5k7nQUoBEXLg2el8h5NXnDtoyFQEBUqCm/ubp/sR8SBSzw8KTVVu/k0a695wB 2llDF0qBKOs+zwzutNPcVrxEC58BTqY2HfL9X03qEPjQXOVC1P9dF8GBb7V/WQy0X5tQTxAz bTJlEfnSWnLee/y7AsTWGlkifjuYuIpxD3jhfGYOtmJIII7RRHHgaaeQ3UChDW6IME2hWzB/ fJL+sQpY4LFFCcgmY8JIKjE6qYxETeqfHdjR9Nl94M3RVDsQim4g2WyGhrga/FzKOzv2m7mL c5Xf+ZkdQm0jQSKpRAlXZ88Gad+xqMV1YBTa4HQBDA0tpWEpWBUq7PWzC/1gVErT/hIkcoQL oDwdSqIIlePhEl7ynP8k81ZBlWWOdU0RhXw/OSQwtU7E5gutOJNc0Zr9pCWu36TEhVs/jPKn QflSpLV8ddfytVXr9OxKplAOgS6EsOsdeKq9Avojc9CQ+mSOujztiQUiGLdASJoAZUrVe9aq 5Gxof/s/UacvL8JQ2HTwJaAMK9S5PSNZulcM+OpDXpWthaAcd/I3gs73UvhN61Mrc5Xvff/d g7pMcG1TMMee/VDyFJraSRxFwgXCvnpYpfavinn/u6oDz4D2zfmN/Kiz2fiNktARx8LOrr/K w76gOmv7dZmt7ZxBAcIKvVlIp1gKnrxcPICW/yokhKHH0+6gUinuLTwpSE/6DrONGaIIPz67 b3BWBL6Uha444PM8/10rK1wuQ8xHl9moOxtYH8YxcF6uwq6AEECM+4ZF5cMUbNQsy7q0aDHd CP/V3QjBQr9TAZ7X03Fuvq7ZTimB8sKJtvdDR4q9RnNay6JWaWxMIE4/SJku3pLaj/vyd+8E u4n+1ryAwOQx694TuNC9925huZansnh/EwqwnykscLOAEc5O44ohUxRRF8HEWSNFszWj0zEK FQkXW0OEgnxVUf1Ft0mYHJPXg0QuDT01TgzcCOT25Dltp6GyPFbgujKUw0pPmbvsOxRTFLPe Z/2e4dJy0+84CRK/I8O55cui6IyDu+XFM+nKqOlXRcVg6y79mUgOYUFgDYLS8YhvgVYFjsxU xGytmMmCh3txF95gdWrJcchovqdkU7gyxnEnAPjqCWAmBd/0tuxl92C0lfgMZ+pw0T8lxwwf drRBXp9Z3WbpDb4qCM4v/9du1/v7QT905XbenhAc64eWStAhIOQ+H6NHq36Ox9sHKV4+7hp
Ironport-hdrordr: A9a23:brVbJKkIQLb17uekzJqmVGbbH6zpDfLW3DAbv31ZSRFFG/Fw9/ rEoB1p737JYVEqKQgdcLG7Scu9qBznmKKdjbN+AV7AZmXbUQmTRr2KhLGKqwEIcBeOldK1u5 0BT0EzMrLNJGk/ttzi6A20V/4r3dmA98mT9ILj5kYodhtyY6Vsqz9kBhqWVm16LTM2YqYRJd 6m/NNOozflQ3gNccihb0N1O9TrlpnwjZrjbFo8CwQ67RTmt0LP1ILH
Ironport-phdr: A9a23:mXpRXxNagB5gixovYLsl6nYUAhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6Qr1QSVFt2Ho9t/yMPo8InYGlY8qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtMiTanfL9/I hq7oQrNusQZnIBvNrs/xhzVr3RHfOhb2XlmKVWPkRji+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzchcttgqJGuxKhvwJwzJLIYI+bM/p+e7nSfdIcRWFcWspcWChMDoa6Y oQBFeoBOftToZf7qVUAsBCyARSgCezqxjJOm3T437A10/45HA/GwgIuAs4OvnrXotrpO6gfS vq6wLXUwTjZc/9axSnx5Y7VeR4hu/GMWrdwfNLfxUcoDQzFlFCQqZfiPzORyOsNqXCX5PduW +KulWEnpAZxrjayzcorhIfFnIUbxUre9SV824Y1Itm4R1BhYdO/DpRRuD+VN5doTcM4WW1no jo1xqcbuZ64ZSUHzoksyBHDZfKdaYeI/g7jW/iLITd+nH9ofLGyiRms/ES8y+DxVMe63VZJo ydHj9XBsn8A2gLT5MWJVPZw/0Ss1DiP2Q3N5OxJIkI5m6XGJpM/37I8iocfvELeFSH4n0X2i bWZdkQi+uWw5OTnY6nmppuGOIBvkA3+M6MultShDuQkKAcOR3Ob9f671L358k31WKtFgectk qjZrJ/aJd4Upq+jAwNP1YYj8Rm/Ay+p0NQZgXkHLE9Fdwmdg4joPFHCOPX4Au25g1SwlDdk2 erKP7LhA5TMNnTDla3ufax4605Hzwozyc5Q54hOBr4dJ/LzX1f9tMDWDx84Lwy03/joCM9n2 owCXmKPB6mUO77Rv1+Q/u8iLPWAaJUItDrhKfUp/ePigWEnlVMHYKWlwZgaZGimEvlnP0mUb 3/hjsodHWgQvwczSe3nhEGeXTNWaXu/Xr4w6zQ+BY+nC4rIW56ggLic3CegAp1ZeHpGBE2NE XbpaYqJQ+sAZSSPKcF7iDMET6KuS4o52BGuqgD6z71nI/LV9CAFqZzvyMV56/TVmx8r+jF4F sOd3HqTQG1umWMIWiM207t4oUxgzFeMzLJ0g+RCFdxU+/NGTBs1NYLdz+x9DdD+QAXBfsqVS FaiRdWmBjIxQsgtzN8JZkZxA9Sijhbd0Cq2G7IYmKCHCIYp/q7A3XX9Pdtxx2jY2KU7klUqX shCOXWjhqFl9gjTA4DJk1+el6avbakS0jTB+mCZwmqUuUFYSwlwUaHbUnAFfUbZs9v46V3eT 7CwE7QrKBFOxtKYJqtXad3llVNGS+z7N9TEf22xg3uwBQqPxr6UcYbmY38d0znFCEgYjwAT+ m6LOhQ5Bie4um7REDhuFU/0bE736ul/qHa7TlcuwA2Qbk1h0aC1+h8PivCGRfMTxOFMhCB04 RB9BlOm2NbbEZ7Iiwtsc6IWKYcRpnJOz2fCsAhwJLStP61+i0RYeg8xokC4hDttDYAV2+0jt nYxyw5/M+bQ/FJMeDTSlcTcfJjeMGzp+xSicYbbylzC3czQ86xJ9fdu+Aarhx2gCkd3qyYv6 NJSyXbJuM6i5Gs6VJvwVhxy7B1mv/TAZSJ74YrI1HpqOK3ysznY2ttvCvF2gg24cYJ5N6WJX BT3D9VcH9KnfcBsvlGzawkDOO1I3KMkMt+rbb2P0+i2P7Uohyqo2FxO+5s1yUeQ72x5Q+/M0 YwCxqS0mC6OTTLni1OsqOj6iY1YaCtUF2H51Cu3TJVJaPhKdJ0QQXyrP9Xxxth6gMv1XGVE8 Ve4G14c8OCDQ0LLKnjagUhX30lRpmG7kyylyTAyiysusqeUwC3JxaLlaQYDPWlIAmJliD8AO KCSiNYXFAitZgktzl6+4FrigrJcr+J5JnXSRkFBe273KXtjW+2+rOjKZckH854uvShNNYb0K VmHVr7wpQcb2CL/DiNfwj48bTSjppT+mVRzlmucKH95qHeRd9t3wF/T49nVRPgZ2TRjJmEwp X/yD0K5JN6t8M+8mofOru2kEWuqEIBQMGHqwY6GqCqn9DhyGxTs+pL70tbjEAU8zWr6z4w2D WOR9Em6O9Oxkf3iYbECHAEgHlL35stkF5srl4IxgMtVwn0GntCP+nFBl27vMNJd0Ka4bXwXR DdNzcSGhWqtkEBlMH+NwJr0E3uHxc40LfX8R2oM3zk6681QIKqE4aBJh218qRylrkiCBJo11 idY0vYo5HMA1qsl/i8k1CCGBbQfB2FVLSHwmg7O5tv4saYdNwPNOfCgkUF5m96mFrSLpApRD W34dpkVFih19sxjMVjI3RUf86ncccLLJZIWvxyQyVLbivRNbYg2nbwMjDZmPmT0uTskzfQ6h Fpgx8PysI+CImRrtKW3Z3wQfhGzQsoJ/yrqiatEtsuG0pyiBNNoEXMWX9PkQOmpHzQbqfn8f 1rWVmRk9THCQ+CZRFfPoE59yhCHW4imLXSWOGUUwZ15SR+RKVYeyAEYUTMmn4IoQwWjxcjva kB8tVVzrhbzrhpBzP4tNgGqDj+Z/V/3LG5uEt7GdEoFi2MKr13YOsGf8O9pSiRR/5n76ReIN nTefQNDS2cARk2DAVnneLio/9jJteaCVY/cZ7PDZ6uDretGWrKG35Wqh8FKuROFLMCUOX1vF dU2ykdfUGo/Es+fhjZFGEl132rdKtWWohux4Hg9goaa+e7uQwXr6JGnBqtfLdh1vRm9x7qAf b315m4xOXNT0ZUCwmXNwb4U0QsJii1gQDKqFKwJqS/HSK+D0r8SFRMQbDl/cddZ969plBcYI tbV05mms9wwxu5wEVpOUkbt392kddBfaX/oL0vJXQ6KLOjUeWWNkpuxOeXkDuQNxORM60/s4 XDCSxClZnLb0GC3MnLneeBU0HPGZloH4Nn7KlA1TjG/BNP+Nk/iaIMx0WJwmftswSqVfW8Eb 2omehsU/OTJtHFW3q0nST4GsioAT6HMmj7HvbPRcs9E6KIyUCooz7kIsjNmmvNU9H8WHvUtw XmL94c8rQ3+ybvfkmI/AkgJ928u5srDvF08a//QrsASAC+drhxRtT7CAExS/4k3TYC286FIl IqVnfqqem4bqoDaoZNHVcaMcJrVYj18a1KsETrQRmPpVBaTPHrEzwxYmfCWrDiOq4Qi74Lrk 9wIQ6NaU1o8ErUbDF5kFZoMOsU/UjQhmL+dxMkGgBj25AHWX9lft4vbW+i6Lt/VcG/cqZ4YI hwCzPX/MJgZMZD91wp6cF5mkY/WGk3WG9dQvilmaQxyq0JIlRo2BmE+wEPqbAqx7WRbSabyx 0ZpzFIkO6J0rGek6kx/PlfQoSosjEQ90c7ohzycan+5Lau9W51XFzuht0U1NcCeIU49Zgmzk Ep4cTbcEu4JyeI4KiYy0lWa4MMfSps+BeVebRQdxO+afaAt2FVY8GC8wFNfoPHCAt1knRcrd pilqzRB3RhiZZg7P/+1RuIBw15Oi6aJpiLt2Po2xVpUCwAo+XmXYykMtVYgO6krOyeyuOVnr xGB0WgmGiBER78xr/Rm+1locfyH1D7l2qVfJ1qZGMald/rcn0+c0MmCTxU3y18CkFRD8f5uy 8A/fkGIVkcpiryMCxAOMsmEIgZQJZk3ljCbbWOFtuPDxohwNoO2G7XzTOOAg60Th1qtAAcjG 4lfptREBJSn11vUaNv2NLNQgwt4/xzlfR/WaZYBMALOijoMpNuziYN6zZUIbC9IGn1zaG22/ uqF+lds0aDFBJFuJS5HFoocaiBqAIvjw3Ef5zIYS2Dpt4BRgAmas22h/GKJVGG6N5w7I67IL RJ0VIPvoWl5r/fw0RiPtcyBb2Dia4Y4s4eWu7pD/sSJV6sMH+s67xe5+cEQRmT0ATTGSYfnf sGpOYdwNYemWDHmAxS+k2xnFc6pZYT0d/Haj12wHtQE6NHDjmJkaJbYdHlWGg8u9bsKvPsuP FRaMZRnOUW6vFxmb/7tZ1rBmtS2HTT3IGMPHaAGlLe0O+QMnSR0Nrfomjx9FNl/xu2zuyblp bklpCuGnLOHQNUbViL+XHtAZw/IuCw10XB7Mfo/yfs+xxWOtkQANzeMd6pib2kW5rnU6nufM XhqB3B+TlTakImRu2ZEOpgf7yZBkswS2OYDrXus5vfi
Ironport-sdr: 660d14df_Ow9q9lqzj42/hkYOfgibCg6JRBxKm/5NET/Q63mk2sEbh+I /mC5M1T10pQVkQj4Wpm4qR62VpJxwDuduQ4YFHg==

[ 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
Twitter: @DiegoMarmsoler

[Coq-Club] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation, Marmsoler, Diego, 04/03/2024