Talk by Dr. Dandolo Flumini (LTCS)

Short Title: 
Talk by D. Flumini
Event Date(s): 
Thursday, 6. April 2017 - 14:15 to 15:45

Room 214, Main Building, Hochschulstrasse 4, 3012 Bern

Dr. Dandolo Flumini

Formalizing Legal Contracts

Recent technological innovations have inspired business representatives to extend digitization from business level processes to industry wide company interactions. As a consequence, these trends create an increased demand for formalisms to describe (legal) contracts in a machine interpretable standard. We present a compositional approach to contract languages and briefly examine benefits and challenges.