Write a Blog >>
Sun 20 - Fri 25 October 2019 Athens, Greece
Thu 24 Oct 2019 14:00 - 14:30 at Templars - Onward! Papers 4 Chair(s): Hidehiko Masuhara

Anglo-American law enables property owners to split up rights among multiple entities by breaking their ownership apart into future interests that may evolve over time. The conveyances that owners use to transfer and subdivide property rights follow rigid syntactic conventions and are governed by an intricate body of interlocking doctrines that determine their legal effect. These doctrines have been codified, but only in informal and potentially ambiguous ways.

This paper presents preliminary work in developing a formal model for expressing and analyzing property conveyances. We develop a domain-specific language capable of expressing a wide range of conveyances in a syntax approximating natural language. This language desugars into a core calculus for which we develop operational and denotational semantics capturing a variety of important properties of property law in practice. We evaluate an initial implementation of our languages and semantics on examples from a popular property law textbook.

Thu 24 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

14:00 - 15:30: Onward! Papers - Onward! Papers 4 at Templars
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
splash-2019-Onward-papers14:00 - 14:30
Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University
splash-2019-Onward-papers14:30 - 15:00
Miltiadis AllamanisMicrosoft Research, Cambridge
DOI Pre-print