[ 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>
_______________________________________________ Om-announce mailing list [email protected] https://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
