Name: Verification of Blockchain Languages and VMs
Start: 2018-08-21T19:00:00+03:00
End: 2018-08-21T21:00:00+03:00
Location: Sediul Ullink

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.

Radu Ometita

Cluj.fp

Technology

Functional Programming

Haskell

F# Programming

Clojure

Scala

Elixir

Erlang Programming

OCaml Programming

Lisp

Computer Programming

Verification of Blockchain Languages and VMs

Sediul Ullink

Share

Cluj.fp

Verification of Blockchain Languages and VMs

Cluj.fp

Details

Members are also interested in