Sun 16 Jan 2022 13:30 - 13:40 at Salon III - Short talks Chair(s): Jonathan Protzenko

We present the design and implementation of Littleton: an online educational environment for students of property law. Littleton is built atop the Orlando legal programming language and adds several key feature making it useful to students and teachers. Crucially, Littleton adds naming rules for interests in property law, which are unnecessary for the core semantics of Orlando, but essential for any practical use. Littleton also provides a easy-to-use visual interface and a complete set of examples, all packaged into an easily deployable web-based tool.

Littleton Talk (prolala short.pdf)2.52MiB
Littleton (Extended Abstract) (short.pdf)398KiB

Sun 16 Jan

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

13:30 - 14:10
Short talksProLaLa at Salon III
Chair(s): Jonathan Protzenko Microsoft Research, Redmond
13:30
10m
Talk
Littleton: An Educational Environment for Property LawRemote
ProLaLa
Shrutarshi Basu Harvard University, Anshuman Mohan Cornell University, James Grimmelmann Cornell University, Nate Foster Cornell University
File Attached
13:40
10m
Talk
Modeling Administrative Discretion Using Goal-Directed Answer Set ProgrammingRemote
ProLaLa
Joaquín Arias Universidad Rey Juan Carlos, Mar Moreno-Rebato Universidad Rey Juan Carlos, José Antonio Rodríguez-García Universidad Rey Juan Carlos, Sascha Ossowski Universidad Rey Juan Carlos
Pre-print Media Attached File Attached
13:50
10m
Talk
Probabilistic programming for Employment Tribunal remediesRemote
ProLaLa
James Cheney University of Edinburgh; Alan Turing Institute
14:00
10m
Talk
Prevalence of Expression Types in Legislative TextRemote
ProLaLa
Jason Morris Service Canada, Lexpedite Legal Technology