<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>-----------------------------------------------------------------------------------------<br
aria-hidden="true">
<br aria-hidden="true">
ProLaLa 2023 -- 2nd Workshop on Programming Languages and the
Law<br aria-hidden="true">
<br aria-hidden="true">
Sunday Jan 15th, 2022<br
aria-hidden="true">
Boston, MA<br
aria-hidden="true">
co-located with POPL
2023<br aria-hidden="true">
<br aria-hidden="true">
------------------------------------------------------------------------------------------<br
aria-hidden="true">
<br aria-hidden="true">
(please forward to anyone who might be
interested!)<br aria-hidden="true">
<br aria-hidden="true">
<br aria-hidden="true">
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:<br aria-hidden="true">
<br aria-hidden="true">
- language design for legal matters;<br aria-hidden="true">
- static analysis of legal texts;<br aria-hidden="true">
- program synthesis and repair for legal software components;<br
aria-hidden="true">
- formal modeling of legal semantics;<br aria-hidden="true">
- non-standard logics in support of legal reasoning;<br
aria-hidden="true">
- program verification for legal expert systems.<br
aria-hidden="true">
<br aria-hidden="true">
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.<br aria-hidden="true">
<br aria-hidden="true">
Full details: <a
href="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"
target="_blank" rel="noopener noreferrer" data-auth="Verified"
class="x_moz-txt-link-freetext" title="Original URL:
https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers.
Click or tap if you trust this link." data-linkindex="2"
moz-do-not-send="true">https://popl23.sigplan.org/home/prolala-2023#Call-for-Papers</a><br
aria-hidden="true">
<br aria-hidden="true">
</p>
<h3>Venue</h3>
<p>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.<br
aria-hidden="true">
</p>
<h3>Submission details</h3>
<p>We accept two kinds of submissions.<br aria-hidden="true">
- Long talks: 5 pages excluding references<br aria-hidden="true">
- Short talks: 2 page excluding references<br aria-hidden="true">
<br aria-hidden="true">
We require using SIGPLAN's one-column LaTeX format (acmsmall).<br
aria-hidden="true">
<br aria-hidden="true">
Submission site: <a
href="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"
target="_blank" rel="noopener noreferrer" data-auth="Verified"
class="x_moz-txt-link-freetext" title="Original URL:
https://prolala23.hotcrp.com/. Click or tap if you trust this
link." data-linkindex="3" moz-do-not-send="true">https://prolala23.hotcrp.com</a><br
aria-hidden="true">
</p>
<h3>Important dates</h3>
<p>- Thu 27 Oct 2022: Submission deadline<br aria-hidden="true">
- Thu 10 Nov 2022: Notification of acceptance<br
aria-hidden="true">
- Sun 15 Jan 2023: Workshop<br aria-hidden="true">
</p>
<h3>Program committee</h3>
<p>- Shrutarshi Basu (co-chair), Middlebury College, USA<br
aria-hidden="true">
- Denis Merigoux (co-chair), Inria, France<br aria-hidden="true">
- Jonathan Protzenko (co-chair), Microsoft Research, USA<br
aria-hidden="true">
- Timos Antonopoulos, Yale, USA<br aria-hidden="true">
- Joaquín Arias, Universidad Rey Juan Carlos, Spain<br
aria-hidden="true">
- James Grimmelman, Cornell, USA<br aria-hidden="true">
- Ekaterina Komandantskaya, Herriot-Watts University, UK<br
aria-hidden="true">
- Emma Tosch, University of Michigan, USA<br aria-hidden="true">
- Saeid Tizpaz-Niari, University of Texas at El Paso, USA<br
aria-hidden="true">
- Giovanni Sileno, University of Amsterdam, Netherlands<br
aria-hidden="true">
- Chris Bailey, University of Illinois, USA<br aria-hidden="true">
- Laurence Diver, Vrije Universiteit Brussel, Belgium<br
aria-hidden="true">
- Sarah Lawsky, Northwestern Pritzker School of Law, USA</p>
</body>
</html>