Talk by Dr. Dandolo Flumini (LTCS)
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.