0:05:50 -Workshop Introduction by Michel Mauny
0:12:00 -Introduction to Michelson by Raphaël Cauderlier
0:47:30 -Albert: An intermediate Language for Tezos Smart Contracts, by Julien Tesson
1:04:35 -Introduction to Ligo by Suzanne Dupron
1:33:46 -Introduction to SmartPy by Sebastien Mondet
1:51:27 -Contract Orchestration for Ocaml by Peter Thiemann
15 min Coffee break
2:55:40 -Specifying Contract Interfaces with JSON by Michael Klein
3:48:17 -Introduction to Archetype by Benoit Rognier
4:06:25 -Mi-Cho-Coq: Functional Verification of Tezos Smart Contracts in Coq by Raphaël Cauderlier
Related Post:
- [Think Tezos #1] Formal Verification
- tron rush smart contract / new mlm plan / trx coin / tron smart contract plan / xtb business plan
- Tezos Price Prediction 2023[tezos-tezos price prediction-tezos coin-tezos price-xtz-tezos crypto]
- Tezos Price Prediction UPDATED[tezos-tezos price prediction-tezos coin-tezos price-xtz-tezos crypto]
- Thousands Of Languages On The Verge Of Extinction
- Google Assistant’s interpreter mode translates 27 languages
- ЯЗЫКОВЫЕ ШКОЛЫ В БАРСЕЛОНЕ BCN LIP, OLE LANGUAGES, SPEAKEASY
- SmartPy – An Intro into the Tezos Smart Contract Language
- Tezos Blockchain Smart Contract Project holds it's value while others crater! Let's find out why!
- ECN/TEZOS SMART CONTRACT LINK ADDRESS announcement by E-Oracle
