FDEC 2020 Workshop

The First Workshop on Frontiers of Digital Enforceable Contracts (FDEC) will be held on December 9, 2020 from 8:30AM to 12PM (ET) in co-location with JURIX 2020This half-day workshop aims to bring together researchers and practitioners of normative systems, requirement engineering, software engineering and regulatory technology to discuss on methods and trends emerging from the study of the various forms of digital enforceable contracts, i.e. forms of contracts specified, executed and/or applied in a computational settings.  

Motivation for the Workshop

From a functional point of view, the automated performance of agreements, as well as the verification of whether such agreements have been complied with, are two general tasks that can be observed in different forms in all computational and engineering disciplines. In the contemporary context, with the widespread introduction of distributed and decentralized forms of computation (e.g. data-sharing infrastructures, distributed machine learning, smart contracts on  distributed ledgers, digital market-places), traditional direct forms of control needs more and more to be complemented by distributed coordination mechanisms that are on par with institutional constructs observable in human societies (contracts, agreements, regulations, and related enforcement mechanisms). The general tasks of automated performance, compliance-checking, conformance-checking, etc. need particularly to be reframed and strengthened in these application contexts, in which autonomous (computational) entities may create, modify or destroy agreements at run-time. Historically, these themes have been investigated in different waves and by different communities working on normative systems, computational theory of law, requirement engineering and software engineering, and recently in regulatory technologies. As it often happens, results in one area have not necessarily been bridged in other areas, and overall there is no vision covering all the obtained insights to make clear what is needed to fully implement digital enforceable contracts. Challenges can easily be identified at functional (specification and operationalization), non-functional (implementation) and extra-functional level (programmability, reusability, usability, computational efficiency etc.).  

Topics of Interest 

  • Digital contract languages 
  • Regulatory infrastructures 
  • Formalization/operationalization of digital contracts 
  • Formalization/operationalization of contract-related mechanisms (amendement, nullification, etc.) 
  • Compliance checking 
  • Conformance checking 
  • Comparisons and benchmarks 
  • Contract management systems 
  • Visualization of digital contracts 


To join the meeting via Teams :


This content has been updated on 12/10/2020 at 11 h 47 min.