Looking to stay up to date on research and development projects within the Tezos ecosystem?
Seek no further! We are pleased to announce the Nomadic Labs Research Seminars!
This new series, dedicated to disseminating information on the extensive list of Tezos research and development projects, includes live presentations from significant researchers in the Tezos ecosystem. Every session consists of a 45-minute presentation with 15 minutes reserved for Q&A between developers, academics, and members of the Tezos community.
Our first session, which is now live on Youtube, features a talk from Christopher Goes, co-founder of Metastate, a decentralized protocol research and development company. Christopher’s presentation is on Juvix, a dependently typed language to write formally trusted Tezos smart contracts. The talk provides an introduction to the type theory behind Juvix, the Juvix development environment, and how Juvix is compiled to Michelson, the native Tezos smart contract language.
Don’t forget to subscribe to our YouTube channel; new talks will be appearing soon, and you won’t want to miss them! Upcoming videos will include Mi Cho Coq (a formal verification framework for Michelson smart contracts), Plebia (an improved storage layer for Tezos), and more!