[Agda] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022

Jonathan Protzenko jonathan.protzenko at gmail.com
Mon Sep 26 18:02:47 CEST 2022


    ProLaLa 2023 -- 2nd Workshop on Programming Languages and the Law

                                              Sunday Jan 15th, 2022
                                                        Boston, MA
                                           co-located with POPL 2023


                   (please forward to anyone who might be interested!)

We are pleased to announce ProLaLa'23, the second edition of the 
workshop concerned with the intersection of PL (Programming Languages) 
techniques and the law. We are particularly concerned with the following 

- language design for legal matters;
- static analysis of legal texts;
- program synthesis and repair for legal software components;
- formal modeling of legal semantics;
- non-standard logics in support of legal reasoning;
- program verification for legal expert systems.

If you have explored any of these areas, we encourage you to submit a 
short abstract. We are hoping to solidify around this workshop what we 
believe is a nascent but growing community; last year we had 25 
submissions and 60 participants. As such, the workshop will be informal, 
and we strongly encourage you to submit ongoing or already-published 
work in the form of a brief 5-page submission for a long talk, or a 
2-page submission for a short talk.

Full details: 


ProLaLa will be colocated with POPL'23. We plan to coordinate with the 
POPL conference on remote participation. We would like to have remote 
participation even if the workshop happens in person. Our plan is to 
create an inclusive environment that does not demand traveling for 
COVID-19 (or other) reasons.

      Submission details

We accept two kinds of submissions.
- Long talks: 5 pages excluding references
- Short talks: 2 page excluding references

We require using SIGPLAN's one-column LaTeX format (acmsmall).

Submission site: https://prolala23.hotcrp.com 

      Important dates

- Thu 27 Oct 2022: Submission deadline
- Thu 10 Nov 2022: Notification of acceptance
- Sun 15 Jan 2023: Workshop

      Program committee

- Shrutarshi Basu (co-chair), Middlebury College, USA
- Denis Merigoux (co-chair), Inria, France
- Jonathan Protzenko (co-chair), Microsoft Research, USA
- Timos Antonopoulos, Yale, USA
- Joaquín Arias, Universidad Rey Juan Carlos, Spain
- James Grimmelman, Cornell, USA
- Ekaterina Komandantskaya, Herriot-Watts University, UK
- Emma Tosch, University of Michigan, USA
- Saeid Tizpaz-Niari, University of Texas at El Paso, USA
- Giovanni Sileno, University of Amsterdam, Netherlands
- Chris Bailey, University of Illinois, USA
- Laurence Diver, Vrije Universiteit Brussel, Belgium
- Sarah Lawsky, Northwestern Pritzker School of Law, USA
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220926/af62d9c6/attachment.html>

More information about the Agda mailing list