Skip to main content
About HEC About HEC Faculty & Research Faculty & Research Master’s programs Master’s programs MBA Programs MBA Programs PhD Program PhD Program Executive Education Executive Education Summer School Summer School HEC Online HEC Online About HEC Overview Overview Who
We Are Who
We Are
Egalité des chances Egalité des chances Career
Center Career
Center
International International Campus
Life Campus
Life
Sustainability Sustainability Diversity
& Inclusion Diversity
& Inclusion
Stories Stories The HEC
Foundation The HEC
Foundation
Coronavirus Coronavirus
Faculty & Research Overview Overview Faculty Directory Faculty Directory Departments Departments Centers Centers Chairs Chairs Knowledge Knowledge Master’s programs Master in
Management Master in
Management
Master in
International Finance Master in
International Finance
Specialized
Masters Specialized
Masters
X-HEC
programs X-HEC
programs
Dual-Degree
programs Dual-Degree
programs
Visiting
students Visiting
students
Certificates Certificates Student
Life Student
Life
Student
Stories Student
Stories
MBA Programs MBA MBA Executive MBA Executive MBA TRIUM EMBA TRIUM EMBA PhD Program 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 Executive Certificates Executive Certificates Executive short programs Executive short programs Online Online Companies Companies Executive MBA Executive MBA Infinity Pass Infinity Pass Summer School Youth Programs Youth Programs Summer programs Summer programs HEC Online Overview Overview Degree Program Degree Program Executive certificates Executive certificates MOOCs MOOCs Summer Programs Summer Programs
Faculty & Research

Legal Contracts to Smart Contracts using Symboleo

23 Jun
2022
2:30 pm
Jouy-en-Josas
English

Participate

Add to Calendar
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.

Participate

Add to Calendar
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