I wanted to let everyone know that we've just scheduled a virtual meetup about the BDLS lab that is building an innovative BFT consensus algorithm that features safety and liveness that they want to integrate with Fabric.

The meetup is on Tuesday, December 13 at 11:00 EST and you can get dial-in details at:

And the developers of the fabric-chaincode-ocaml lab have a meetup this Friday, November 18 at 10:00 EST where they will do a demonstration of formally verified chaincode generation for Hyperledger Fabric.