The developers from the fabric-chaincode-ocaml lab are running meetups in French and English to show preliminary results of their ongoing work to enable formal specification and verification of Hyperledger Fabric chaincode.

Anyone interested in this topic is welcome to attend.  Details about the two meetups are below: