Program

Workshop Program

 

 08:00 - 08:30 Registration
 08:30 - 09:00 Welcome

 09:00 - 10:30 First session:

SMART CONTRACTS (approx 25 min presentation +5 min discussion per paper)

      “Smart Contracts: Security Patterns in the Ethereum Ecosystem and Solidity”
      Maximilian Wöhrer and Uwe Zdun
      (University of Vienna, Austria)
 

      “SmartInspect: Solidity Smart Contract Inspector”
     Santiago Bragagnolo, Henrique Rocha, Marcus Denker, and Stéphane Ducasse
      (Inria, France)
 
      “Smart Contracts Vulnerabilities: A Call for Blockchain Software Engineering?”
      Giuseppe Destefanis, Michele Marchesi, Marco Ortu, Roberto Tonelli, Andrea Bracciali, and Robert Hierons
      (University of Hertfordshire, UK, University of Cagliari, Italy, University of Stirling, UK, Brunel University London, UK)
 
 
 10.30 - 11.00 First coffee break
 
 
 11.00 - 12.30 Second session:
 
 ICOs and BLOCKCHAIN  (approx 25 min presentation +5 min discussion per paper)
 
 
      “The ICO Phenomenon and Its Relationships with Ethereum Smart Contract Environment”
      Gianni Fenu, Lodovica Marchesi, Michele Marchesi, Roberto Tonelli
      (University of Cagliari, Italy)
 
      “Evaluation of Initial Cryptoasset Offerings: The State of the Practice”
      Felix Hartmann, Maria Ilaria Lunesu and Xiaofeng Wang
      (University of Cagliari, Italy; Free University of Bolzano, Italy)
 
      “Checking Laws of the Blockchain with Property-Based Testing”
      Alexander Chepurnoy and Mayank Rathee
      (Ergo Platform, Russia; IOHK Research, Russia; IIT Varanasi, India;
 Banaras Hindu University, India)
 
 
 12.30 - 14.00 Lunch break
 
 14.00 - 15.30 Third session:
 
 INVITED TALK AND DISCUSSION (45 min + 45 min)
 
 Prof. Michele Marchesi will introduce a keynote lecture on:
 
 "Why Blockchain is important for software developers, and why Software Engineering is important for Blockchain software"
 (45 min)
 
 Workshop Discussion (45 min)