Program

09:00 – 09:15 Welcome and Introductions
09:15 – 10:30 Smart Contracts

Santiago Bragagnolo, Henrique Rocha, Marcus Denker

Ethereum Query Language

Sergei Tikhomirov, Ekaterina Voskresenskaya, Ivan Ivanitskiy, Ramil Takhaviev, Evgeny Marchenko, Yaroslav Aleksandrov

SmartCheck: Static Analysis of Ethereum Smart Contracts

Alexandra Covaci, Simone Madeo, Patrick Motylinski, Stephane Vincent

NECTAR: Non-Interactive Smart Contract Protocol using Blockchain Technology

10:30 – 11:00 Coffee break
11:00 – 12:30 Blockchain and Applications (1)

Pradeepkumar D S, Kapil Singi, Vikrant Kaulgud, Sanjay Podder

Evaluating Complexity and Digitizability of Regulations and Contracts for a Blockchain Application Design

Silvia Bartolucci, Pauline Bernat, Daniel Joseph

SHARVOT: secret SHARe-based VOTing on the blockchain

Péter Hegedűs

Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts

Daniel Martens, Walid Maalej

ReviewChain: Untampered Product Reviews on the Blockchain

12:30 – 14:00 Lunch break
14:00 – 15:30 Blockchain and Applications (2)

Florian Wessling, Christopher Ehmke, Marc Hesenius, Volker Gruhn

How Much Blockchain Do You Need? Towards a Concept for Building Hybrid DApp Architectures

Christopher Ehmke, Florian Wessling, Christoph M. Friedrich

Proof-of-Property – A Lightweight and Scalable Blockchain Protocol

Henrique Rocha, Stéphane Ducasse

Preliminary Steps Towards Modeling Blockchain-oriented Software

15:30 – 16:00 Coffee break
16:00 – 17:30 Discussion and Closing