This schedule is subject to change

13:55Opening remarks

Session 1: Invited Talk

Blockchain and Smart Contract Mechanism Design Challenges
Vitalik Buterin

Session 2

Findel: Secure Derivative Contracts for Ethereum
Alex Biryukov, Dmitry Khovratovich and Sergei Tikhomirov
Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications
Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu and Weidong Shi

15:30Coffee break with poster session
Scripting smart contracts for distributed ledger technology
Pablo Lamela Seijas, Simon Thompson and Darryl McAdams
ZeroTrade: Privacy Respecting Assets Trading System based on Public Ledger
Lei Xu, Lin Chen, Nolan Shah, Zhimin Gao, Yang Lu and Weidong Shi

Session 3

A Concurrent Perspective on Smart Contracts
Ilya Sergey and Aquinas Hobor
An empirical analysis of smart contracts: platforms, applications, and design patterns
Massimo Bartoletti and Livio Pompianu
Trust in Smart Contracts is a Process, As Well
Firas Al Khalil, Tom Butler, Leona O'Brien and Marcello Ceci
Defining the Ethereum Virtual Machine for Interactive Theorem Provers
Yoichi Hirai


Session 4

A Proof-of-Stake protocol for consensus on Bitcoin subchains
Massimo Bartoletti, Stefano Lande and Alessandro Sebastian Podda
On the feasibility of decentralized derivatives markets
Shayan Eskandari, Jeremy Clark, Moe Adham and Vignesh Sundaresan
SmartCast: An Incentive Compatible Consensus Protocol Using Smart Contracts.pdf
Abhiram Kothapalli, Andrew Miller and Nikita Borisov

This conference is organized annually by the International Financial Cryptography Association in cooperation with IACR.