Law at large underpins modern society, codifying and governing many aspects of citizens’ daily lives. Oftentimes, law is subject to interpretation, debate and challenges throughout various courts and jurisdictions. But in some other areas, law leaves little room for interpretation, and essentially aims to rigorously describe a computation, a decision procedure or, simply said, an algorithm.

The current state of affairs is concerning: in many cases, human-critical systems are implemented using technology that is several decades old, resulting in e.g. the IRS relying on assembly code from the 60s or its French counterpart relying on a home-made language from the 90s with tens of thousands of global variables. For institutions stuck with this unfortunate status quo, consequences are many: legacy systems cannot be evolved, in spite of hundreds of millions of dollars spent on “modernization” budgets; mistakes are made and rarely noticed; automatic analyses remain elusive, meaning policymakers are “flying dark”; and in the worst case, as happened with the French military pay computation, families are on the verge of bankruptcy because of incorrect code. In recent years, the programming languages community has begun to tackle the problem of creating transparent, user-friendly, and accountable systems that model, operate within or interface with legal domains and problems.

This will be the third annual meeting of the Workshop on Programming Languages and the Law. Past workshops included participants from around the world, drawing from both academia and industry. Presentations included work on languages for legal domains, verification tools for legal expert systems, and emerging platforms and technologies like smart contracts. This year, we will expand the scope of the workshop to explicitly include any application of programming languages, software engineering, or formal methods to law or policy.

Past workshops: 2023 · 2022

Plenary

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 22 Oct

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

09:00 - 10:30
Keynote and IcebreakerProLaLa at IBR East
09:00
45m
Keynote
A Conversation with Matthew Butterick
ProLaLa
James Grimmelmann Cornell University
09:45
45m
Other
Attendee Bingo and Scavenger Hunt
ProLaLa
Emma Tosch Northeastern University, USA
10:30 - 11:00
Coffee BreakCatering at Foyer
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Author Presentations with DiscussantsProLaLa at IBR East
Chair(s): Sarah Lawsky Northwestern University

Four presenters will share work they’ve submitted that is either already published elsewhere or in progress. Two discussants will lead a conversation about the works. Presentation of short papers will be followed by a discussion prompt corresponding to a question or topic for which the authors are specifically requesting feedback.

11:00
20m
Talk
Metamorphic Debugging for Accountable Software
ProLaLa
Saeid Tizpaz-Niari University of Texas at El Paso, Shiva Darian University of Colorado Boulder, Ashutosh Trivedi University of Colorado Boulder
Pre-print
11:20
10m
Talk
Large Language Models for Executable Tax Code Generation
ProLaLa
Sam Estep Carnegie Mellon University, Vasudev Vikram Carnegie Mellon University
11:45
20m
Talk
Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics
ProLaLa
12:05
10m
Talk
CUTECat: Generating Testcases for Fiscal Laws through Concolic Execution
ProLaLa
Pierre Goutagny Inria and University of Lille, Aymeric Fromherz Inria, Raphaël Monat Inria and University of Lille
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Tutorial and Fostering Collaboration ActivityProLaLa at IBR East
14:00
60m
Tutorial
Challenges and Idiosyncrasies of Managing Legal Citations
ProLaLa
15:00
30m
Other
Fostering Collaboration
ProLaLa

15:30 - 16:00
Coffee BreakCatering at Foyer
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Workshop and Closing RemarksProLaLa at IBR East
16:00
60m
Day closing
The Future of ProLaLa
ProLaLa

17:00
30m
Talk
What Programmers and Lawyers Get Wrong About Privacy Policies
ProLaLa

Call for Contributions

This will be an informal workshop without any proceedings. All submissions will undergo a lightweight review.

Scope

We welcome any submission that involves programming languages (PL), formal methods (FM), or software engineering (SE) and the law or policy. Examples of topics that are in scope include, but are not limited to:

  • Domain-specific languages for legal concepts
  • Formal verification of the law
  • Software support for drafting legal documents

Examples of topics that are not in scope include, but are not limited to:

  • Data analysis of legal corpora
  • Legal retrieval systems
  • Automated legal reasoning

If you have any questions about whether your work is within scope, please reach out to the chairs.

Contribution Types

The workshop will be single track and consist of varying formats. We are soliciting submissions of the following types:

Full papers

Submissions in this category should be at least six pages long, with a maximum length of 20 pages. We envision this session being used for two main purposes: for experts in law or policy to disseminate existing work to the PL/SE/FM community and for experts in PL/SE/FM to seek feedback (including suggestions potential archival venues) on completed work.

Work submitted to this session should be completed and focus on results or findings. We encourage participants to submit work that produced negative findings as well as positive ones. Accepted papers will be invited to give a 10 minute talk during this session.

Please note that the review committee must be able to assess whether the work is relevant to potential conference attendees and tailor your submission accordingly.

Extended abstracts

In-progress work should be submitted as an extended abstract no longer than 3 pages. Participants will be given the option of selecting a 5 or 10 minute talk. Please only select a 10 minute talk if your work requires significant background in order to explain.

As a part of their submission, participants will be asked to submit a single question for which they would like to solicit feedback. These questions will be displayed after the short talks are completed. Participants will break into groups to discuss questions raised.

Structured Activities

We strongly encourage the submission of interactive and/or structured activities designed to build connections between PL/SE/FM communities and law and policy communities. Some (not currently real!) example activities of the style we’d like to see include:

  • What programmers and lawyers get wrong about privacy policies I will begin this session with an overview of how privacy policies are implemented at large firms. We will then as a group look at two real-world privacy policies and break into groups to discuss our interpretation of the legal ramifications of the text in an example jurisdiction as well as some of the technical (implementation) choices that are consistent with their text and some of their possible operational consequences.

  • Vocabulary impedance Bingo Interdisciplinary collaborators often use the same words for different things. In this session I will display a set of words or phrases and ask participants to write down their interpretation in a think-pair-share activity. After each round, I will share my experiences with these interpretations and will solicit the audience for stories or insights into the cause or effect of these misunderstandings. There will be no actual Bingo played in the course of this activity.

Submission Format

Please use SIGPLAN’s one-column LaTeX format (https://www.sigplan.org/Resources/Author/).

Final versions of submissions will be hosted on the conference website. You may submit final versions according to whatever formatting practices are typically used in your primary field, so long as you submit a pdf.

Questions? Use the ProLaLa contact form.