[isabelle] FMBC 2021 - Call for Participation



[ 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:

* 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

 

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.*)

 



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.