Porto

I’m looking forward to give a keynote on the Scilla journey on October 11 at the 1st Workshop on Formal Methods for Blockchains in Porto. Here are the slides from my talk.