<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Dear Colleagues,<br>
<br>
This is the call for position paper<span class="gmail_default"
style="font-family:arial,helvetica,sans-serif">s</span> and
participation for the 2020 Workshop on Logic and Practice of
Programming (<a href="https://2020.splashcon.org/home/lpop-2020"
target="_blank">https://2020.splashcon.org/home/lpop-2020</a>),
to be held in conjunction with SPLASH 2020.<br>
<br>
The goal of the workshop is to bring together the best people and
best languages, tools, and ideas to help improve logic languages
for the practice of programming and improve the practice of
programming with logic and declarative programming. We plan to
organize the workshop around a number of “challenge problems”,
including in particular expressing a set of system components and
functionalities clearly and precisely using a chosen description
language.<br>
<br>
We will have invited talks by four wonderful people: Adnan
Darwiche (UCLA), Leslie Lamport (Microsoft Research), Stuart
Russell (UC Berkeley), and Peter Stuckey (U of Melbourne). There
will be additional presentations and discussion panels on using
well-known description methods and tools. We will aim to group
presentations of description methods by the kind of problems that
they address, and to allow ample time to understand the strengths
of the various approaches and how they might be combined.<br>
<br>
Potential participants are invited to submit a position paper (1
or 2 pages in PDF format), and also to state whether they wish to
present a talk at the workshop, explaining how they would express
the challenge problems. Because we intend to bring together
researchers from many parts of logic and declarative languages and
practice of programming communities, it is essential that all
talks be accessible to non-specialists.<br>
<br>
The program committee will invite attendees based on the position
paper submissions and will attempt to accommodate presentation
requests, but in ways that fit with the broader organizational
goals outlined above. </p>
<div><br>
</div>
<div>Instructions for preparing a position paper appears below.
Please submit your position paper through this EasyChair
submission URL: <a
href="https://easychair.org/conferences/?conf=lpop2020"
target="_blank">https://easychair.org/conferences/?conf=lpop2020</a><br>
<br>
<b>Preparing your position paper</b>: To streamline the exchange
of ideas, you may consider using a challenge software domain: the
domain of Role-Based Access Control. It was created for LPOP 2018,
as described in <a
href="http://lpop.cs.stonybrook.edu/preparing-your-position-paper"
target="_blank">http://lpop.cs.stonybrook.edu/preparing-your-position-paper</a>,
but it was only solved in part by various groups, as described in
<a href="http://lpop.cs.stonybrook.edu/workshop-report"
target="_blank">http://lpop.cs.stonybrook.edu/workshop-report</a>
(also <a href="https://arxiv.org/abs/2008.07901" target="_blank">https://arxiv.org/abs/2008.07901</a>).
We are also working to create RBAC data for running experiments.<br>
<br>
<b>Submission deadline</b>: Friday Sep 4, 2020<br>
<br>
Best Regards,</div>
<div>David Warren, SUNY Stony Brook<br>
</div>
<div>Peter Van Roy, Université catholique de Louvain<br>
Annie Liu, SUNY Stony Brook</div>
</body>
</html>