[prev in list] [next in list] [prev in thread] [next in thread]
List: haskell-cafe
Subject: [Haskell-cafe] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline
From: Jonathan Protzenko <jonathan.protzenko () gmail ! com>
Date: 2022-09-26 15:58:49
Message-ID: ca0df68e-4086-b5e2-eaaa-8a3d31779e82 () gmail ! com
[Download RAW message or body]
[Attachment #2 (multipart/alternative)]
-----------------------------------------------------------------------------------------
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%7C5cf24d6 \
1b74c4a17e56c08da8e8a6115%7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637979022249602 \
967%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVC \
I6Mn0%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.co \
m%2F&data=05%7C01%7Cprotz%40microsoft.com%7C5cf24d61b74c4a17e56c08da8e8a6115%7C72f988b \
f86f141af91ab2d7cd011db47%7C1%7C0%7C637979022249602967%7CUnknown%7CTWFpbGZsb3d8eyJWIjo \
iMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%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
[Attachment #5 (text/html)]
<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%7C637979 \
022249602967%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1ha \
WwiLCJXVCI6Mn0%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.hotc \
rp.com%2F&data=05%7C01%7Cprotz%40microsoft.com%7C5cf24d61b74c4a17e56c08da8e8a6115% \
7C72f988bf86f141af91ab2d7cd011db47%7C1%7C0%7C637979022249602967%7CUnknown%7CTWFpbGZsb3 \
d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%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>
[Attachment #6 (text/plain)]
_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic