Presenter(s): Arvid Jakobsson (Nomadic Labs), Matej Šima(Stove Labs), Pierre-Emmanuel Wulfman (LigoLANG),and Roland Zumkeller (SmartPy team). Abstract: In this webinar, we will present a sequence of short videos showcasing the state of the art of the Tezos smart contract ecosystem. First, we will present the Michelson programming language, the low-level building block of Tezos smart contracts. Then, we will present two different alternatives to writing Tezos smart contracts using higher level tools which transpile to Michelson: the LIGO programming language and the SmartPy framework. Introduction to Tezos Smart Contracts, by Arvid Jakobsson (Nomadic Labs). In this video we will demonstrate the smart contract programming capabilities of the Tezos blockchain. We introduce Michelson, the programming language embedded in Tezos, and illustrate it with a smart contract implementing a vote on the blockchain.