Talk by Dr. Dandolo Flumini (LTCS)

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

Venue:
Room 214, Main Building, Hochschulstrasse 4, 3012 Bern

Speaker:
Dr. Dandolo Flumini

Title:
Formalizing Legal Contracts

Abstract:
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.

http://www.ltg.unibe.ch/lectures/FS17/LTCS