Aller au contenu principal
A propos d'HEC A propos d'HEC Faculté et Recherche Faculté et Recherche Grande Ecole
& Masters Grande Ecole
& Masters
MBA Programs MBA Programs Programme PhD Programme PhD Executive Education Executive Education Summer School Summer School HEC Online HEC Online
A propos d'HEC En bref En bref Qui sommes-nous ? Qui sommes-nous ? Egalité des chances Egalité des chances Centre Carrières Centre Carrières International International Vie du campus Vie du campus Développement durable Développement durable Diversité et inclusion Diversité et inclusion Stories Stories Fondation HEC Fondation HEC Coronavirus Coronavirus Faculté et Recherche À propos À propos Corps professoral Corps professoral Départements Départements Centres Centres Chaires Chaires Knowledge Knowledge Grande Ecole
& Masters
Grande Ecole
Master in Management Grande Ecole
Master in Management
Master in International
Finance Master in International
Finance
MS
et Masters MS
et Masters
Programmes
X-HEC Programmes
X-HEC
Doubles Diplômes
en Admission directe Doubles Diplômes
en Admission directe
Visiting
students Visiting
students
Certificats Certificats Vie
Etudiante Vie
Etudiante
Student
Stories Student
Stories
MBA Programs MBA MBA Executive MBA Executive MBA TRIUM EMBA TRIUM EMBA Programme PhD Overview Overview HEC Difference HEC Difference Program details Program details Research areas Research areas HEC Community HEC Community Placement Placement Job Market Job Market Admissions Admissions Financing Financing Executive Education Executive Masters Executive Masters Certificats Executive Certificats Executive Programmes courts Executive Programmes courts Executive Online Online Entreprises Entreprises Executive MBA Executive MBA Infinity Pass Infinity Pass Summer School Youth programs Youth programs Summer programs Summer programs HEC Online En bref En bref Programme diplômant Programme diplômant Certificats Executive Certificats Executive MOOCs MOOCs Summer Programs Summer Programs
Faculté et Recherche

Legal Contracts to Smart Contracts using Symboleo

23 juin
2022
14H30
Jouy-en-Josas
Anglais

Participer

Ajouter au calendrier
2022-06-23T14:30:00 2022-06-23T19:00:00 Legal Contracts to Smart Contracts using Symboleo   Speaker: Daniel Amyot, (University of Ottawa) to be held on Tuesday, 23rd June 2022, 2.30 pm HEC Paris, Room S122 Online: Register here and connect to the wright schedule (Abstract hereunder)   Jouy-en-Josas

 

Speaker: Daniel Amyot, (University of Ottawa)

to be held on Tuesday, 23rd June 2022, 2.30 pm

HEC Paris, Room S122

Online: Register here and connect to the wright schedule (Abstract hereunder)

 

Legal contracts specify the terms and conditions that apply to business transactions. Contracts are commonly expressed in natural language and contain many legal requirements that are often ambiguous, incomplete, and possibly inconsistent. Smart contracts are programs intended to partially automate, monitor, and control the execution of legal contracts to ensure compliance with relevant terms and conditions. This talk focuses on the formal specifications of legal contracts that can enable automated analysis and can support the generation of smart contract programs that monitor legal contracts. To that end, the Symboleo textual language was recently proposed, where contracts consist of collections of obligations and powers that define a legal contract’s compliant executions. The concepts underlying Symboleo are inspired from legal ontologies with specialized contract concepts, with semantics described in terms of logical axioms on statecharts that describe the lifetimes of contracts, obligations, powers, and other concepts. An encoding of Symboleo specifications in the nuXmv language, including a library of trusted modules capturing basic Symboleo concepts, enables the formal verification of properties of a contract, expressed in temporal logic (i.e., in LTL or CTL). An IDE with code generation capabilities also enables the transformation of Symboleo specifications to executable smart contracts for the Hyperledger Fabric platform, in JavaScript. An example from a food supply chain will be used to illustrate the concepts, and future work on converting natural language contracts to Symboleo specifications and on consideration for quality aspects during code generation will be discussed.

 

You can find more information about the seminar series, including the full program for 2022 and relevant information to connect online, on this website: here.

Participer

Ajouter au calendrier
2022-06-23T14:30:00 2022-06-23T19:00:00 Legal Contracts to Smart Contracts using Symboleo   Speaker: Daniel Amyot, (University of Ottawa) to be held on Tuesday, 23rd June 2022, 2.30 pm HEC Paris, Room S122 Online: Register here and connect to the wright schedule (Abstract hereunder)   Jouy-en-Josas