Please RSVP on this event:
https://www.meetup.com/Cardano-Blockchain-Tel-Aviv/events/249903544/

Zen Protocol is happy to welcome Charles Hoskinson from the Cardano Foundation in a joint meetup all about Formal Verification and it's importance in decentralized blockchains. Special thanks to Ayeka for hosting this event.

Agenda:
* 5m - Intro by Zen Protocol - Introducing IOHK & CF, the general discussion around Formal Verification & Welcoming Charles.
* 10-15m - Talk by Zen Protocol - How ZP uses FV to get rid of gas and run smart contracts without a VM and the ZP vision of a decentralized financial system.
* 15-20m - Charles talks about Cardano, formal verification, proof of stake and Ouroboros
* 30-40m - Q&A Panel - Panel with both IOHK and ZP

 I am interested in hearing feedback from people about this subject. Additionally, I have attached a link from Zen Protocol about security measure they have fixed learning from the mistakes of the Ethereum platform.

https://blog.zenprotocol.com/zen-protocol-and-security-c130bfeb2f60