Agenda for "Programming Languages and the Law" Announced

[jason]

Programming Languages and the Law (ProLaLa) is a workshop being held for the first time in conjunction with the Principles of Programming Languages conference being held in Philadelphia in January 2022.

The accepted presentations have been announced, and include:

• A General Library of Legal Components
  Chris Bailey

• Cod(e)ifying The Law
  Nel Escher, Jeffrey Bilik, Alexander Miller, Jennifer Jiyoung Huseby, Divya Ramesh, Alice Liu, Sam Mikell, Nina Cahill, Ben Green, Nikola Banovic

• DPCL: a Language Template for Normative Specifications
  Giovanni Sileno, Thomas van Binsbergen, Matteo Pascucci, Tom van Engers

• Ergo - a programming language for Smart Legal Contracts
  Niall Roche, Jerome Simeon, Walter Hernandez, Eason Chen, Dan Selman

• Industry keynote
  Don Syme, Davin Fifield, Surend Dayal

• Introduction of PROLEG (PROlog-based LEGal reasoning support system)
  Ken Satoh, Wachara Fungwacharakorn, Kanae Tsushima

• Law Smells: Defining and Detecting Problematic Patterns in Legal Drafting
  Corinna Coupette, Dirk Hartung, Janis Beckedorf, Maximilian Böther, Daniel Martin Katz

• Legal Calculi
  Shrutarshi Basu, Anshuman Mohan, James Grimmelmann, Nate Foster

• Littleton: An Educational Environment for Property Law
  Shrutarshi Basu, Anshuman Mohan, James Grimmelmann, Nate Foster

• Logical English as a Programming Language for the Law
  Robert Kowalski, Jacinto Dávila, Miguel Calejo

• Modeling Administrative Discretion Using Goal-Directed Answer Set Programming
  Joaquín Arias, Mar Moreno-Rebato, José Antonio Rodríguez-García, Sascha Ossowski

• Overview of the CCLAW L4 project
  Avishkar Mahajan, Martin Strecker, Meng Weng Wong

• Position Paper: LLD is All You Need
  L. Thorne McCarty

• Prevalence of Expression Types in Legislative Text
  Jason Morris

• Probabilistic programming for Employment Tribunal remedies
  James Cheney

• Reflections on the design and application of eFLINT
  L. Thomas van Binsbergen

• Research keynote – Programming Languages and Law: A Research Agenda for a New Field
  James Grimmelmann

• Stipula: a domain specific language for legal contracts
  Silvia Crafa, Cosimo Laneve, Giovanni Sartor

• Turning Catala into a Proof Platform for the Law
  Alain Delaët, Denis Merigoux, Aymeric Fromherz

[MatthewWaddington]

This conference looks really interesting. But has anyone worked out whether it is purely in person or will remote attendance be possible? I had assumed remote, but now I can only see info about in-person.

[jason]

I am under the impression it is hybrid. It better be, because I’m not travelling to attend.

[heidir]

Papers look really interesting. Can you let us know if you find out - it’s $200 to register, but does appear to be in-person only. Also would love to hear about your project separately if we don’t get to watch the conference!

[jason]

I will make an effort to figure it out this week.

[MatthewWaddington]

Any idea whether they are charging a fee to attend remotely? Looks like they are for physical attendance, but not clear where/how you register for remote. I thought I had registered but I haven’t had any info about joining so I suspect I hadn’t. Seems a bit steep if they are charging $150 for virtual attendance, but the registration is very confusing and I might be misreading it.

[mengwong]

Following up, the livestream is available on ACM SIGPLAN’s YouTube channel POPL 2022 -- Salon III - YouTube

There should be other links, look for Salon III.

[jason]

POPL 2022 -- Salon III