Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future directions

26-30 October 2020, Rhodes
A workshop organised as part of ISOLA 2020

Blockchain is a global distributed ledger or database running on millions of devices where not just information but anything of value (money, music, art, intellectual property, votes, etc.) can be moved and stored securely and privately. On the blockchain trust is established through mass (distributed) collaboration. Blockchain has the potential to change in a fundamental way how we deal not only with financial services but also with more general applications, improving transparency and regulation. Many applications have been proposed, starting with bitcoin, and smart contracts as introduced in Ethereum.

Smart contracts are software programs that self-execute complex instructions on blockchains. The promise of smart contract technology is to diminish the costs of contracting, enforcing contractual agreements, and making payments, while at the same time ensuring trust and compliance with the absence of a central authority. It is not clear, however, whether this promise can be delivered given the current state-of-the-art and state-of-practice of smart contracts.

Within this track, we would like to gather researchers with different background and interests on smart contracts. Some of the questions that will be addressed in the workshop are:

  • Research on different languages for expressing smart contracts (e.g., Solidity).
  • Research the use of formal methods for specifying and verifying smart contracts.
  • Surveys and SoK about security and privacy issues related to smart contract technologies.
  • New applications based on smart contracts.
  • Description of challenges and research directions to future development for better smart contracts.
  • Connection with legal contracts.

List of confirmed participants:

  • Massimo Bartoletti, Università degli Studi di Cagliari, Italy
  • Bernhard Beckert, Karlsruhe Institute of Technology
  • Lars Brünjes, IOHK
  • Christopher D. Clack, University College London, UK
  • Alfonso Delgado De Molina, Imperial College London
  • Joshua Ellul, University of Malta
  • Murdoch Gabbay, IOHK
  • Fritz Henglein, University of Copenhagen, Denmark
  • Matteo Maffei, Technische Universität Wien
  • Grigori Rosu, University of Illinois at Urbana-Champaign
  • Simon Thompson, University of Kent
  • Philip Wadler, University of Edinburgh, Scotland

Track Organisers: