[Om-announce] 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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffmbc.gitlab.io%2F2024&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=US4aeGt0AosMXSFUKY0inTeXy4vhkDFN5msTlyG3S5I%3D&reserved=0

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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.etaps.org%2F2024%2F&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=AG4k0D4bAB2B8sGJWIV45pMITkwo%2B5LDK4%2BnzGG8VpA%3D&reserved=0

---------------------------------------------------------

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://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fsmart-program%2FFMBC2024%2F&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=DcQEfWaXVar4ENxky7G334n0M73%2BIywQ3Am5iLkORZc%3D&reserved=0

In addition, we are excited to have a keynote by **Franck Cassez** (https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffranck44.github.io%2F&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=t0618O2%2F7M0VAJz%2BB8wwXPHX%2FCyHJvrL6V8k0v4fdpA%3D&reserved=0) from Mantle (https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.mantle.xyz%2F&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=5Sr5RnXD9meOc1ynUSbpmJtKT%2Be7Rb2OEvtQsl1EAOc%3D&reserved=0) about

**Deductive verification of smart contracts**


# Registration

Registration to FMBC 2024 is done through ETAPS 2024:
https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.etaps.org%2F2024%2Fattending%2F&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=xDH7yHbs2xQEWGpZw1tN7EyzQqvYeGbf7KCGnAqVtnQ%3D&reserved=0

Diego Marmsoler
Lecturer (Education and Research), Computer Science
University of Exeter, Innovation 1, Room 10
www: marmsoler.com<https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.marmsoler.com%2F&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=BEsE5CAr6Yo1GOlww0OnWfzWJxxBy3lrOnmGoYrRZmA%3D&reserved=0>
Twitter: @DiegoMarmsoler<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftwitter.com%2FDiegoMarmsoler&data=05%7C02%7C%7C2dc5f3689028451e2a6e08dc53b90cd5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C638477301467074453%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C0%7C%7C%7C&sdata=%2BFvEb9ED1YZHFiGqj4vCF7%2FI2LyzPD4WXjKKO80SYgg%3D&reserved=0>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20240403/d266f565/attachment-0001.htm>