Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] ProLaLa 2023 -- Programming Languages and the ...

Email Gateway (Sep 26 2022 at 16:03):

From: Jonathan Protzenko <jonathan.protzenko@gmail.com>

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
<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fpopl23.sigplan.org%2Fhome%2Fprolala-2023%23Call-for-Papers&data=05%7C01%7Cprotz%40microsoft.com%7C5cf24d61b74c4a17e56c08da8e8a6115%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637979022249602967%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=NG2V3zL41wot9uwncAQh9v%2B5DtOTvU9r%2F6sr26whF2k%3D&reserved=0>

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
<https://nam06.safelinks.protection.outlook.com/?url=https%3A%2F%2Fprolala23.hotcrp.com%2F&data=05%7C01%7Cprotz%40microsoft.com%7C5cf24d61b74c4a17e56c08da8e8a6115%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637979022249602967%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=ni5y%2Fg82caYoCUNlUGF8uO9CGHMX5IwhOWNPVZlGDYU%3D&reserved=0>

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

Last updated: Apr 25 2024 at 20:15 UTC