| 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 |