coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022
Chronological Thread
- From: Denis Merigoux <denis.merigoux AT inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022
- Date: Sun, 4 Sep 2022 17:28:09 +0200
- Authentication-results: mail2-relais-roc.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=denis.merigoux AT inria.fr; dmarc=fail (p=none dis=none) d=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
- [Coq-Club] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022, Denis Merigoux, 09/04/2022
- Re: [Coq-Club] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022, Joost J. Joosten, 09/04/2022
Archive powered by MHonArc 2.6.19+.