Sun 16 Jan 2022 15:05 - 15:25 at Salon III - Long talks #4 Chair(s): Jonathan Protzenko

We illustrate Stipula, a novel domain specific language that can assist lawyers in programming legal contracts through specific software patterns. The language is based on a small set of programming abstractions that have a precise correspondence with the distinctive elements of legal contracts. We overview the language by using a simple rental contract, we discuss a number of formal methods developed for Stipula, and we hint at its implementation, that can take advantage of (but is not limited to) a blockchain platform.

SlidesStipulaProLaLa (ProLaLa2022.pdf)443KiB

Sun 16 Jan

Displayed time zone: Eastern Time (US & Canada) change

15:05 - 15:25
Long talks #4ProLaLa at Salon III
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
Stipula: a domain specific language for legal contractsRemote
Silvia Crafa University of Padova, Cosimo Laneve University of Bologna, Giovanni Sartor University of Bologna
Pre-print File Attached