Verification of Blockchain Languages and VMs

6:30 - The arrival of participants, networking, pizza
7:00 - Radu Ometita - Formal Design, Implementation and Verification of Blockchain Languages and Virtual Machines
8:45 - Networking & drinks

This meetup is a presentation of the framework I have been working on for Runtime Verification. We'll discuss briefly the blockchain, programming languages, formal verification and how to monetize your excellent knowledge of functional programming.