FDEC 2020 – Atelier de travail

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 


Pour rejoindre la réunion via Teams :


Ce contenu a été mis à jour le 10 décembre 2020 à 11 h 47 min.