FMBC 2020 - Call for Participation

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

FMBC 2020 - Call for Participation

Bruno Bernardo
[ Please distribute, apologies for multiple postings. ]

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

2nd Workshop on Formal Methods for Blockchains (FMBC) 2020 - Call for
Participation

https://fmbc.gitlab.io/2020

July 20 and 21, 2020, Online, 6AM-8AM PDT

Co-located with the 32nd International Conference on Computer-Aided
Verification (CAV 2020)

http://i-cav.org/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:
* 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 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*.

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.