caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] FMBC 2021 - Call for Participation
@ 2021-07-05 21:01 Bruno Bernardo
  0 siblings, 0 replies; only message in thread
From: Bruno Bernardo @ 2021-07-05 21:01 UTC (permalink / raw)
  To: Acl2, Agda, Coq Club, Fstar Club, Haskell Cafe, Hol Info,
	Types Announce, Vardi List, Maude Users, Caml List

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

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-07-05 21:01 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-07-05 21:01 [Caml-list] FMBC 2021 - Call for Participation Bruno Bernardo

caml-list - the Caml user's mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror https://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V1 caml-list caml-list/ https://inbox.vuxu.org/caml-list \
		caml-list@inria.fr
	public-inbox-index caml-list

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git