<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:"Helvetica Neue";
panose-1:2 0 5 3 0 0 0 2 0 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Calibri",sans-serif;}
h4
{mso-style-priority:9;
mso-style-link:"Heading 4 Char";
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
font-weight:bold;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.Heading4Char
{mso-style-name:"Heading 4 Char";
mso-style-priority:9;
mso-style-link:"Heading 4";
font-family:"Calibri",sans-serif;
font-weight:bold;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:94134219;
mso-list-template-ids:-1817775064;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1
{mso-list-id:572161668;
mso-list-template-ids:-650108342;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:o;
mso-level-tab-stop:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style>
</head>
<body lang="SV" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">21th International Symposium on Practical Aspects of Declarative Languages (PADL 2019)<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm">
<span class="apple-converted-space"><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><a href="https://popl19.sigplan.org/track/PADL-2019"><span lang="EN-US" style="color:#337AB7">https://popl19.sigplan.org/track/PADL-2019</span></a></span><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Lisbon, Portugal. 14 -15 January 2019.<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Co-located with ACM POPL 2019 (</span><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><a href="https://popl19.sigplan.org/home"><span lang="EN-US" style="color:#337AB7">https://popl19.sigplan.org/home</span></a></span><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">)<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Declarative languages build on sound theoretical bases to provide attractive frameworks for application development. These languages have been successfully applied to many
different real-world situations, ranging from data base management to active networks to software engineering to decision support systems.<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">New developments in theory and implementation have opened up new application areas. At the same time, applications of declarative languages to novel problems raise numerous
interesting research issues. Well-known questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems,
and benefit from this progress as well.<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">PADL is a well-established forum for researchers and practitioners to present original work emphasising novel applications and implementation techniques for all forms of
declarative concepts, including, functional, logic, constraints, etc. </span><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Topics of interest include, but are not limited to:<o:p></o:p></span></p>
<ul type="disc">
<li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Innovative applications of declarative languages<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Declarative domain-specific languages and applications<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Practical applications of theoretical results<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">New language developments and their impact on applications<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Declarative languages and software engineering<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Evaluation of implementation techniques on practical applications<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Practical experiences and industrial applications<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Novel uses of declarative languages in the classroom<o:p></o:p></span></li><li class="MsoNormal" style="color:#333333;mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;box-sizing: border-box">
<span lang="EN-GB" style="font-size:10.5pt;font-family:"Helvetica Neue"">Practical extensions such as constraint-based, probabilistic, and reactive languages.<o:p></o:p></span></li></ul>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">PADL 2019 welcomes new ideas and approaches pertaining to applications and implementation of declarative languages, and is not limited to the scope of the past PADL symposia.
It will be co-located with the Symposium on Principles of Programming Languages (POPL 2019), in Lisbon, Portugal.<o:p></o:p></span></p>
<h4 style="mso-margin-top-alt:7.5pt;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:13.5pt;font-family:"Helvetica Neue";color:#333333;font-weight:normal">Important Dates and Submission Guidelines<o:p></o:p></span></h4>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<em><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Abstracts due:</span></em><span class="apple-converted-space"><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">
<strong><span style="font-family:"Helvetica Neue"">21 September</span></strong><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<em><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Papers due:</span></em><span class="apple-converted-space"><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">
<strong><span style="font-family:"Helvetica Neue"">28 September</span></strong><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<em><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Notification to authors:</span></em><span class="apple-converted-space"><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">
<strong><span style="font-family:"Helvetica Neue"">26 October</span></strong><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Authors should submit an electronic copy of the full paper in PDF using the Springer LNCS format. The submission will be done through EasyChair conference system:</span><span class="apple-converted-space"><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><a href="https://easychair.org/conferences/?conf=padl2019"><span lang="EN-US" style="color:#337AB7">https://easychair.org/conferences/?conf=padl2019</span></a></span><span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">All submissions must be original work written in English. Submissions must be unpublished and not submitted for publication elsewhere. Work that already appeared in unpublished
or informally published workshops proceedings may be submitted but the authors should notify the program chair about the place on which it has previously appeared.<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">PADL 2019 will accept both technical and application papers:<o:p></o:p></span></p>
<ul style="margin-top:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px" type="disc">
<li style="color:#333333;margin-top:0cm;margin-bottom:7.5pt;mso-list:l1 level1 lfo2;box-sizing: border-box">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue"">Technical papers must describe original, previously unpublished research results. Technical papers must not exceed 15 pages (plus one page of references) in Springer LNCS format.<o:p></o:p></span></li><li style="color:#333333;margin-top:0cm;margin-bottom:7.5pt;mso-list:l1 level1 lfo2;box-sizing: border-box">
<span lang="EN-US" style="font-size:10.5pt;font-family:"Helvetica Neue"">Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application
papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited.
</span><span style="font-size:10.5pt;font-family:"Helvetica Neue"">The limit for application papers is 8 pages in Springer LNCS format but such papers can also point to sites with supplemental information about the application or the system that they describe.<o:p></o:p></span></li></ul>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">The proceedings of PADL 2019 will appear in the LNCS series of Springer Verlag:</span><span class="apple-converted-space"><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><a href="https://www.springer.com/gp/computer-science/lncs"><span style="color:#337AB7">https://www.springer.com/gp/computer-science/lncs</span></a><o:p></o:p></span></p>
<h4 style="mso-margin-top-alt:7.5pt;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:13.5pt;font-family:"Helvetica Neue";color:#333333;font-weight:normal">Journal Publication for Best Papers<o:p></o:p></span></h4>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">The best papers (as selected by the PC chairs) will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, in the
journal</span><span class="apple-converted-space"><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><a href="https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming"><span style="color:#337AB7">Theory
and Practice of Logic Programming (TPLP)</span></a>, and for papers related to functional programming, in</span><span class="apple-converted-space"><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"> </span></span><span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333"><a href="https://www.cambridge.org/core/journals/journal-of-functional-programming"><span style="color:#337AB7">Journal
of Functional Programming (JFP)</span></a>.<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">The authors of these papers will be invited to submit a journal version containing at least 30% new material. This will be reviewed by the PC and/or the respective journal editors for
a swifter reviewing process of the journal version.<o:p></o:p></span></p>
<p style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:7.5pt;margin-left:0cm;box-sizing: border-box;caret-color: rgb(51, 51, 51);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Helvetica Neue";color:#333333">Such extensions could be explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational
details and feedback from practical/engineering use, extended discussion of related work and such like.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB" style="font-size:11.0pt"><o:p> </o:p></span></p>
</div>
</body>
</html>