Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
Sun 22 Oct 2017 15:30 - 15:52 at Regency A - Session 4 Chair(s): Lindsey Kuper

Anglo-American law enables property owners to split up rights to a thing over time among multiple people by breaking their ownership apart into multiple future interests. The system of legal doctrines governing future interests is notorious among lawyers and law students for its complexity. The conveyances property owners use to transfer and subdivide property rights follow rigid syntactic conventions and are governed by an intricate body of interlocking legal doctrines that determine the legal effect of a conveyance over time. These doctrines have been codified, but only in informal and potentially ambiguous ways. However, both the syntactic structure and underlying semantic of conveyances are amenable to analysis using tools and techniques from programming language theory and practice. This paper presents preliminary work in developing a formal model for expressing and analyzing property conveyances.

Sun 22 Oct
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

13:30 - 15:00: Session 3DSLDI at Regency A
Chair(s): Eric WalkingshawOregon State University
13:30 - 13:52
Talk
DSLDI
Manasij MukherjeeChennai Mathematical Institute
File Attached
13:52 - 14:15
Talk
DSLDI
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Jurgen VinjuCentrum Wiskunde & Informatica / Technische Universiteit Eindhoven, Tijs van der StormCentrum Wiskunde & Informatica / University of Groningen
File Attached
14:15 - 14:37
Talk
DSLDI
Yossi GilTechnion—Israel Institute of Technology, David H. LorenzTechnion—Israel Institute of Technology, Matan I. PeledTechnion—Israel Institute of Technology
File Attached
14:37 - 15:00
Talk
DSLDI
Jonathan Immanuel BrachthäuserUniversity of Tübingen, Germany
Link to publication Pre-print Media Attached File Attached
15:30 - 17:00: Session 4DSLDI at Regency A
Chair(s): Lindsey KuperIntel Labs
15:30 - 15:52
Talk
DSLDI
Shrutarshi BasuCornell University, James GrimmelmannCornell Law School, Nate FosterCornell University
File Attached
15:52 - 16:15
Talk
DSLDI
Shayan NajdUniversity of Edinburgh
File Attached
16:15 - 16:37
Talk
DSLDI
Ted KaminskiUniversity of Minnesota, Eric Van WykUniversity of Minnesota, USA
File Attached
16:37 - 17:00
Day closing
DSLDI