Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
Thu 24 Oct 2019 14:00 - 14:30 at Templars - Onward! Papers 4

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.

This program is tentative and subject to change.

Thu 24 Oct

splash-2019-Onward-papers
14:00 - 15:30: Onward! Papers - Onward! Papers 4 at Templars
splash-2019-Onward-papers14:00 - 14:30
Talk
Shrutarshi BasuCornell University, Nate FosterCornell University, James GrimmelmannCornell University
splash-2019-Onward-papers14:30 - 15:00
Talk
Miltiadis AllamanisMicrosoft Research, Cambridge