FDEC 2020 – Atelier de travail | Appel à présentations

Le premier atelier sur les frontières des contrats numériques exécutoires (FDEC) se tiendra le 9 décembre 2020 de 8h30 à 12h (HE), en co-location avec JURIX 2020. Cet atelier d’une demi-journée vise à réunir des chercheurs et des praticiens des systèmes normatifs, de l’ingénierie des exigences, du génie logiciel et de la technologie réglementaire pour discuter des méthodes et des tendances qui se dégagent de l’étude des différentes formes de contrats numériques exécutoires, c’est-à-dire des formes de contrats spécifiés, exécutés et/ou appliqués dans un cadre informatique. 

L’atelier de travail se déroulera en anglais seulement.


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 

Submission & Workshop Format 

We encourage participants to submit short abstracts (1 page) presenting recent developments, including works in progress, or position papers (2-4 pages) taking a novel standpoint with respect to these topics (e.g. conceptual bridges, identified challenges). The workshop aims to gather the latest research and application developments in these areas and to provide an opportunity to discuss current and future research directions and relationships to other fields. 

Workshop duration: 4 hours. 

The workshop will consist of a session of presentations and discussions. Each accepted participant will hold a presentation for 20 minutes, followed by 15 minutes of discussion with the other participants. 

An important expected outcome of this workshop is to collect first-hand feedback from the community about the role and placement of digital enforceable contracts in the landscape of modern computer theory, normative systems as well as in the software industry. 

Important Dates 

  • Abstract submission deadline: 23, November 2020. (23:59 AOE) 
  • Acceptance Notification: 27, November 2020
  • Workshop:  9, December 2020 – 8:30 AM to 12 PM (ET).

Organizing Committee 

Program Committee 


Pour accéder au formulaire d’inscription  :

Ce contenu a été mis à jour le 23 novembre 2020 à 14 h 54 min.