Workshop | Diving into Scilla: A Safe-by-Design Smart Contract Language

Join us on September 4th, from 10:00 till 18:00, at ClujHub, Cluj-Napoca, Romania, for our FREE full day workshop about a safe-by-design smart contract language developed by Zilliqa's team, namely Scilla.

We are delighted to have Amrit Kumar, ​ Head of Research at Zilliqa, and Han Wen Chua, Developer Relations at Zilliqa, in Cluj-Napoca, Romania. They came all the way from Singapore to share their knowledge about smart contract programming.

---

IMPORTANT 1: Bear in mind please that we have only 50 seats available in ClujHub , therefore we strongly recommend to register using this 👉 form https://goo.gl/forms/epuEvgJU1EaPjPOy1 👈 before 1st of September 2018. The first-come-first-served rule will be applied. Thanks.

IMPORTANT 2: For more information, you may visit https://scilla-lang.org/ to get started with programming with Scilla before the session starts!

---

Therefore, we are inviting all Smart Contract Developers, whether they just kicked off or are pretty advanced developers, to bring their laptops to a hands-on session to introduce you to Scilla, a smart contract language designed as a principled language with smart contract safety in mind.

Scilla imposes a structure on smart contracts that will make applications less vulnerable to attacks by eliminating certain known vulnerabilities directly at the language-level. Furthermore, the principled structure of Scilla will make applications inherently more safe.

On the event day, Amrit Kumar will kick off at 10:00 in the morning with an overview of Zilliqa project. Then he will move into Scilla language design principles and Han Wen Chua will have a demo on Scilla IDE / Testnet / Javascript Library API.

After lunch, a hands on session is scheduled. And that's when the fun part kicks in 😁. Therefore we are going to form teams and aim to write our own contract/dapp. The pseudo codes will be written on the whiteboards and then presented by each team.

At 15:00 we will continue with a coding session to develop the contract and from 17:00 Amrit will have a demonstration of Coq Formal Proof for crowdfunding contract and how Coq proofs are generated.

Prerequisites:
Laptop that can runs NodeJS
Some Javascript experience

---
The Schedule

Please use the following link to have access to the last version of the schedule:https://docs.google.com/document/d/1znC-88p1cNAhtEUGRslwAfmmvytPh3ebfn6uCXteCaA/edit?usp=sharing

I hope you are going to enjoy it. See you all on 4th of September 2018! 🤓