The Coq mailing list

[Denis Merigoux <denis.merigoux AT inria.fr>]

Dear members of the coq-club mailing list,

Please find below the annoucement for the second workshop on Programming Languages and the Law. Last year we had somebody formalize the US Tax Code in Lean ; I wonder what we could do in Coq.

Best,

Denis Merigoux

-----------------------------------------------------------------------------------------

   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 topics:

- 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: https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers

Venue

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