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.
This program is tentative and subject to change.
Tue 22 OctDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | |||
09:00 45mKeynote | A Conversation with Matthew Butterick ProLaLa James Grimmelmann Cornell University | ||
09:45 45mOther | Attendee Bingo and Scavenger Hunt ProLaLa Emma Tosch Northeastern University, USA |
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 20mTalk | 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 10mTalk | Large Language Models for Executable Tax Code Generation ProLaLa | ||
11:45 20mTalk | Cross-Disciplinarity in Contemporary Code-Driven Legal Informatics ProLaLa | ||
12:05 10mTalk | 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 90mLunch | Lunch Catering |
14:00 - 15:30 | |||
14:00 60mTutorial | Challenges and Idiosyncrasies of Managing Legal Citations ProLaLa | ||
15:00 30mOther | Fostering Collaboration ProLaLa |
16:00 - 17:30 | |||
16:00 60mDay closing | The Future of ProLaLa ProLaLa | ||
17:00 30mTalk | What Programmers and Lawyers Get Wrong About Privacy Policies ProLaLa |
Accepted Papers
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.