Email Gateway (Aug 23 2022 at 09:17): Email Gateway (Aug 23 2022 at 09:17):From: "Marmsoler, Diego" <D.Marmsoler@exeter.ac.uk>
[ Please distribute, apologies for multiple postings. ]
========================================================================
2nd Workshop on Formal Methods for Blockchains (FMBC) 2020 - Call for Participation
July 20 and 21, 2020, Online, 6AM-8AM PDT
Co-located with the 32nd International Conference on Computer-Aided Verification (CAV 2020)
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:
The list of lightning talks and conditionally accecpted papers is available on the FMBC 2020 website:
https://fmbc.gitlab.io/2020/program.html
There will be one keynote by Grigore Rosu, Professor at University of Illinois at Urbana-Champaign,
USA and Founder of Runtime Verification.
Registration
Registration to FMBC 2020 is free but required. It is done through the CAV 2020 registration form:
http://i-cav.org/2020/attending/ Please register before July 10, 2020.
Last updated: Nov 21 2024 at 12:39 UTC