From: Bruno Bernardo <bruno.bernardo@tutanota.com>
To: Acl2 <acl2@utlists.utexas.edu>, Agda <agda@lists.chalmers.se>,
Coq Club <coq-club@inria.fr>,
Fstar Club <fstar-club@lists.gforge.inria.fr>,
Haskell Cafe <haskell-cafe@haskell.org>,
Hol Info <hol-info@lists.sourceforge.net>,
Types Announce <types-announce@lists.seas.upenn.edu>,
Vardi List <vardi-list@mailman.rice.edu>,
Maude Users <maude-users@lists.cs.illinois.edu>,
Caml List <caml-list@inria.fr>
Subject: [Caml-list] FMBC 2021 - Call for Participation
Date: Mon, 5 Jul 2021 23:01:42 +0200 (CEST) [thread overview]
Message-ID: <MdsTVa_--7-2@tutanota.com> (raw)
[ 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.*)
reply other threads:[~2021-07-05 21:01 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=MdsTVa_--7-2@tutanota.com \
--to=bruno.bernardo@tutanota.com \
--cc=acl2@utlists.utexas.edu \
--cc=agda@lists.chalmers.se \
--cc=caml-list@inria.fr \
--cc=coq-club@inria.fr \
--cc=fstar-club@lists.gforge.inria.fr \
--cc=haskell-cafe@haskell.org \
--cc=hol-info@lists.sourceforge.net \
--cc=maude-users@lists.cs.illinois.edu \
--cc=types-announce@lists.seas.upenn.edu \
--cc=vardi-list@mailman.rice.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).