The Coq mailing list

["Joost J. Joosten" <jjoosten AT ub.edu>]

Hi Denis,

Nice workshop, nice name. 2022 co-located with 2023?

I will shortly answer to other mails (will accept to referee if start October is OK).

Apologies for the delay in my answers: travels, hospitals and start of the year…

Best,

JjJ

On 4 Sep 2022, at 17:28, Denis Merigoux <denis.merigoux AT inria.fr> wrote:

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

Aquest missatge, i els fitxers adjunts que hi pugui haver, pot contenir informació confidencial o protegida legalment i s’adreça exclusivament a la persona o entitat destinatària. Si no consteu com a destinatari final
 o no teniu l’encàrrec de rebre’l, no esteu autoritzat a llegir-lo, retenir-lo, modificar-lo, distribuir-lo, copiar-lo ni a revelar-ne el contingut. Si l’heu rebut per error, informeu-ne el remitent i elimineu del sistema tant el missatge com els fitxers adjunts
 que hi pugui haver.

Este mensaje, y los ficheros adjuntos que pueda incluir, puede contener información confidencial o legalmente protegida y está exclusivamente dirigido a la persona o entidad destinataria. Si usted no consta como destinatario final ni es la persona encargada
 de recibirlo, no está autorizado a leerlo, retenerlo, modificarlo, distribuirlo o copiarlo, ni a revelar su contenido. Si lo ha recibido por error, informe de ello al remitente y elimine del sistema tanto el mensaje como los ficheros adjuntos que pueda contener.

This email message and any attachments it carries may contain confidential or legally protected material and are intended solely for the individual or organization to whom they are addressed. If you are not the intended recipient of this message or the person
 responsible for processing it, then you are not authorized to read, save, modify, send, copy or disclose any part of it. If you have received the message by mistake, please inform the sender of this and eliminate the message and any attachments it carries
 from your account.