Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] FMBC 2021 - Call for Participation


view this post on Zulip Email Gateway (Jul 06 2021 at 09:03):

From: "Marmsoler, Diego" <D.Marmsoler@exeter.ac.uk>
[ Please distribute, apologies for multiple postings. ]

========================================================================

3rd International Workshop on Formal Methods for Blockchains (FMBC) 2021 - Call for Participation

https://fmbc.gitlab.io/2021

July 18 and 19, 2021, Online, 8AM-10AM PDT

Co-located with the 33rd International Conference on Computer-Aided Verification (CAV 2021)

http://i-cav.org/2021/


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 accepted papers is available on the FMBC 2021 website:
https://fmbc.gitlab.io/2021/program.html

There will be one keynote by David Dill, Lead Researcher on Blockchain at Novi/Facebook and professor emeritus at Stanford University, USA.

Registration

Registration to FMBC 2021 is done through the CAV 2021 registration form:
http://i-cav.org/2021/attending/

(Early bird deadline is July 9.)


Last updated: Sep 25 2021 at 09:17 UTC