<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none;" align="center"><span style="font-size:
11pt;"><span><font face="Courier New"><span style="font-size:
11pt;"><span><font face="Courier New">********************</font></span></span><span
style="font-size: 11pt;"><span><font face="Courier New"><span
style="font-size: 11pt;"><span><font face="Courier
New">*****</font></span></span></font></span></span><span
style="font-size: 11pt;"><span><font face="Courier New"><span
style="font-size: 11pt;"><span><font face="Courier
New"><span style="font-size: 11pt;"><span><font
face="Courier New">***</font></span></span></font></span></span>Call
for Papers*****************************</font></span></span></font></span></span></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none;" align="center"><br>
<span style="font-size: 11pt;"><span><font face="Courier New"><span
style="font-size: 11pt;"><span></span></span><span
style="font-size: 11pt;"><span></span></span></font></span></span></div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none;" align="center"><span style="font-size:
11pt;"><span><font face="Courier New"><span style="font-size:
11pt;"><span></span></span>The 36th International
Conference on</font></span></span><br>
<span style="font-size: 11pt;"><span></span></span><br>
<span style="font-size: 11pt;"><span><font face="Courier New">Logic
Programming</font></span></span><br>
<span style="font-size: 11pt;"><span></span></span><br>
<span style="font-size: 11pt;"><span><font face="Courier New">(ICLP
2020)</font></span></span><br>
<span style="font-size: 11pt;"><span></span></span><br>
<div align="center"><span style="font-size: 11pt;"><span><font
face="Courier New">18-24 September 2020, Rende, Italy</font></span></span><br>
<span style="font-size: 11pt;"><span></span></span><br>
<a href="https://iclp2020.unical.it/home"><span
style="font-size: 11pt;"><span><font face="Courier New">https://iclp2020.unical.it/home</font></span></span></a><br>
<a href="https://iclp2020.unical.it/home"><span
style="font-size: 11pt;"><span></span></span></a></div>
</div>
<div style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none;" align="center"><span style="font-size:
11pt;"><span></span></span><br>
<span style="font-size: 11pt;"></span><span style="font-size:
11pt;"><span><font face="Courier New">******************</font></span></span><span
style="font-size: 11pt;"><span><font face="Courier New"><span
style="font-size: 11pt;"><span><font face="Courier New">*****</font></span></span></font></span></span><span
style="font-size: 11pt;"><span><font face="Courier New"><span
style="font-size: 11pt;"><span><font face="Courier New"><span
style="font-size: 11pt;"><span><font face="Courier
New">*****</font></span></span></font></span></span>*********************************************</font></span></span><span
style="font-size: 11pt;"><span><font face="Courier New">*</font></span></span><br>
<span style="font-size: 11pt;"><span></span></span></div>
<span style="caret-color: rgb(0, 0, 0); color: black; font-style:
normal; font-variant-caps: normal; font-weight: normal;
letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none; font-size:
11pt; font-family: "Courier New"; background-color:
white; background-position: initial initial; background-repeat:
initial initial;"></span><span style="caret-color: rgb(0, 0, 0);
color: black; font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal; orphans: auto;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none; font-size: 11pt; font-family: "Courier
New"; background-color: white; background-position: initial
initial; background-repeat: initial initial;"></span><font
style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-size:
12px; font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"
face="Courier New"><span style="font-size: 11pt; background-image:
none; background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font><font
style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); font-size:
12px; font-style: normal; font-variant-caps: normal; font-weight:
normal; letter-spacing: normal; orphans: auto; text-align: start;
text-indent: 0px; text-transform: none; white-space: normal;
widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"
face="Courier New"><span style="font-variant-ligatures: normal; font-variant-caps: normal; orphans: 2; text-align: start; white-space: pre-wrap; widows: 2; -webkit-text-stroke-width: 0px; float: none; word-spacing: 0px;"></span><span
style="font-size: 11pt;"></span></font><br style="caret-color:
rgb(0, 0, 0); color: rgb(0, 0, 0); font-family: Helvetica;
font-size: 12px; font-style: normal; font-variant-caps: normal;
font-weight: normal; letter-spacing: normal; orphans: auto;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none;">
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"><br>
</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">Since the first conference
held in Marseille in 1982, the International Conference on
Logic Programming (ICLP 2020) has been the premier
international event for presenting research in logic
programming.<span class="Apple-converted-space"> </span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><br>
<font face="Courier New"><span style="font-size: 11pt; color:
black; background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*** Scope ***</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">Contributions are solicited
in all areas of logic programming, including but not
restricted to:</span><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;">Foundations: Semantics, Formalisms,
Answer-Set Programming, Non-monotonic Reasoning, Knowledge
Representation.</span><span style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;">Declarative Programming: Inference
engines, Analysis, Type and mode inference, Partial
evaluation, Abstract interpretation, Transformation,
Validation, Verification, Debugging, Profiling, Testing,
Logic-based domain-specific languages, constraint handling
rules.</span><span style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;">Related Paradigms and Synergies:
Inductive and Co-inductive Logic Programming, Constraint Logic
Programming, Interaction with SAT, SMT and CSP solvers, Logic
programming techniques for type inference and theorem proving,
Argumentation, Probabilistic Logic Programming, Relations to
object-oriented and Functional programming, Description
logics, Neural-Symbolic Machine Learning, Hybrid Deep Learning
and Symbolic Reasoning.</span><span style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;">Implementation: Concurrency and
distribution, Objects, Coordination, Mobility, Virtual
machines, Compilation, Higher Order, Type systems, Modules,
Constraint handling rules, Meta-programming, Foreign
interfaces, User interfaces.<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;">Applications: Databases, Big Data,
Data Integration and Federation, Software Engineering, Natural
Language Processing, Web and Semantic Web, Agents, Artificial
Intelligence, Bioinformatics, Education, Computational life
sciences, Education, Cybersecurity, and Robotics.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;"><br>
</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt;"><span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">Tracks
and Special Sessions</span><span style="font-size: 11pt;"><span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">Besides the
main track, ICLP 2020 will host additional tracks and special
sessions, with<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span><span style="font-size: 11pt;
color: rgb(33, 33, 33);">dedicated chairs, PC, evaluation
criteria, and CfP with related submission details.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"><span> </span></span><span
style="font-size: 11pt;">Applications Track: This track
invites submissions of papers on emerging and deployed
applications of LP, describing all aspects of the development,
deployment, and evaluation of logic programming systems to
solve real-world problems, including interesting case studies
and benchmarks, and discussing lessons learned.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">Papers
submitted to this track will be evaluated using different
criteria, such as:</span></font></p>
<ul>
<li><font face="Courier New"><span style="font-size: 11pt; color:
black;"><span><span style="font-style: normal;
font-variant-ligatures: normal; font-variant-caps:
normal; font-variant-east-asian: normal;
font-variant-position: normal; font-weight: normal;
font-stretch: normal; font-size: 7pt; line-height:
normal; -webkit-font-kerning: auto; font-optical-sizing:
auto; font-feature-settings: normal;
font-variation-settings: normal;"><span
class="Apple-converted-space"></span></span></span></span><span
style="font-size: 11pt; color: black;">Significance of the
real-world problem being addressed</span></font></li>
<li><font face="Courier New"><span style="font-size: 11pt; color:
black;"><span><span style="font-style: normal;
font-variant-ligatures: normal; font-variant-caps:
normal; font-variant-east-asian: normal;
font-variant-position: normal; font-weight: normal;
font-stretch: normal; font-size: 7pt; line-height:
normal; -webkit-font-kerning: auto; font-optical-sizing:
auto; font-feature-settings: normal;
font-variation-settings: normal;"><span
class="Apple-converted-space"></span></span></span></span><span
style="font-size: 11pt; color: black;">Importance and
novelty of using logic programming technologies to solve
this problem</span></font></li>
<li><font face="Courier New"><span style="font-size: 11pt; color:
black;"><span><span style="font-style: normal;
font-variant-ligatures: normal; font-variant-caps:
normal; font-variant-east-asian: normal;
font-variant-position: normal; font-weight: normal;
font-stretch: normal; font-size: 7pt; line-height:
normal; -webkit-font-kerning: auto; font-optical-sizing:
auto; font-feature-settings: normal;
font-variation-settings: normal;"><span
class="Apple-converted-space"></span></span></span></span><span
style="font-size: 11pt; color: black;">Evaluation and
applicability of the system in real-world</span></font></li>
<li><font face="Courier New"><span style="font-size: 11pt; color:
black;"><span><span style="font-style: normal;
font-variant-ligatures: normal; font-variant-caps:
normal; font-variant-east-asian: normal;
font-variant-position: normal; font-weight: normal;
font-stretch: normal; font-size: 7pt; line-height:
normal; -webkit-font-kerning: auto; font-optical-sizing:
auto; font-feature-settings: normal;
font-variation-settings: normal;"><span
class="Apple-converted-space"></span></span></span></span><span
style="font-size: 11pt; color: black;">Reusable datasets,
case studies and benchmarks<span
class="Apple-converted-space"> </span></span></font></li>
</ul>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"><span> </span></span><span
style="font-size: 11pt;">Sister Conferences and Journal
Presentation Track: This track provides a forum to discuss
important results related to logic programming that appeared
recently (from January 2017 onwards) in selective journals and
conferences but have not been previously presented at ICLP.<span
class="Apple-converted-space"> </span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"><span> </span></span><span
style="font-size: 11pt;">Special Session: Women in Logic
Programming: This special session will include invited talks
and presentations by women in logic programming.<span
class="Apple-converted-space"> </span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"><span> </span></span><span
style="font-size: 11pt; color: rgb(33, 33, 33);">Research
Challenges in Logic Programming Track: This track invites
submissions of papers describing research challenges that an
individual researcher or a research group is currently
attacking. The goal of the track is to promote discussions,
exchange of ideas, and possibly stimulate new collaborations.
Papers submitted to this track do not go through the usual
review and will not be published in the proceedings – they
will be distributed at the conference as a technical report. </span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">In addition to the
presentations of accepted papers, the technical program will
include invited talks, advanced tutorials, the doctoral
consortium, and several workshops.</span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"> </span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">***</span><span
class="Apple-converted-space"> </span><span style="font-size:
11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">Submission
Details<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: rgb(17,
17, 17); background-image: none; background-attachment:
scroll; background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">All submissions of the main
track must be made via the </span><span style="font-size:
11pt; background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">EasyChair conference
system:<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"><a
href="https://easychair.org/conferences/conference_dir.cgi?a=23836887"><span>https://easychair.org/conferences/?conf=iclp20200</span></a></span><span
style="font-size: 11pt; color: rgb(17, 17, 17);
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">. </span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">Regular papers
must be in the condensed TPLP format (template here) and not
exceed 14 pages including bibliography.<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span><span style="font-size: 11pt;">Regular
papers may be supplemented with appendices for proofs and
details of datasets which do not count towards the page limit
and which will not be made available as appendices to the
published paper.<span class="Apple-converted-space"> </span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">Three kinds of
regular papers will be accepted:</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
class="Apple-converted-space"> </span><span style="font-size:
11pt; color: black;">Technical papers for technically sound,
innovative ideas that can advance the state of logic
programming;</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black;">Application papers that
impact interesting application domains;</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black;">System and tool papers
which emphasize novelty, practicality, usability, and
availability of the systems and tools described.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">Application,
system, and tool papers need to be clearly marked in their
title.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">All
submissions must be written in English and describe original,
previously unpublished research, and must not simultaneously
be submitted for publication elsewhere. These restrictions do
not apply to previously accepted workshop papers with a
limited audience and/or without archival proceedings.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">Papers of the
highest quality will be selected to be published in the
journal of Theory and Practice of Logic Programming (TPLP),
Cambridge University Press (CUP). In order to ensure the
quality of the final version, papers may be subject to more
than one round of refereeing (within the decision period).</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">The program
committee may recommend some regular papers to be published as
Technical communications in EPTCS format (</span><span
style="font-size: 11pt;"><a href="http://info.eptcs.org/"><span
style="color: rgb(17, 85, 204);">http://info.eptcs.org</span></a></span><span
style="font-size: 11pt;">). Technical communications must not
exceed 14 pages, including<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span><span style="font-size: 11pt;">the
bibliography.<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;" lang="EN-US">The authors of the
technical communications can also elect to convert their
submissions into extended abstracts, of 2 or 3 pages, for
inclusion in the EPTCS proceedings.<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;">This should allow authors to submit a
long version elsewhere.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">All regular
papers and technical communications<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span><span style="font-size: 11pt;">will
be presented during the conference. So, at least one author
per accepted paper is expected to register and attend the
conference.<span> <span class="Apple-converted-space"> </span></span>Authors
of accepted papers will, by default, be automatically included
in the list of ALP members, who will receive quarterly updates
from the Logic Programming Newsletter at no cost.</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;"><br>
</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">***<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;">Important Dates<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt;" lang="EN-US"><span
class="Apple-converted-space"> </span>Abstract registration
(regular papers): May 8, 2020<span
class="Apple-converted-space"> </span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt;" lang="EN-US"><span
class="Apple-converted-space"> </span>Paper submission
(regular paper): May 15, 2020<span> <span
class="Apple-converted-space"> </span></span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt;" lang="EN-US"><span
class="Apple-converted-space"> </span>Notification to
authors (regular paper): June 19, 2020</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt;" lang="EN-US"><span
class="Apple-converted-space"> </span>Paper Submission
(short papers): June 30, 2020</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt;" lang="EN-US"><span
class="Apple-converted-space"> </span>Revision submission
(TPLP papers): July 6, 2020</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt;" lang="EN-US"><span
class="Apple-converted-space"> </span>Final notifications
(TPLP papers): July 17, 2020<span
class="Apple-converted-space"> </span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt;" lang="EN-US"><span
class="Apple-converted-space"> </span>Camera-ready copy due:
July 27, 2020</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;" lang="EN-US"> </span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;"><span
style="background-color: white; background-position: initial
initial; background-repeat: initial initial;">***<span
class="Apple-converted-space"> </span></span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">Autumn
School on Logic Programming<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">A school on logic
programming will be held before the conference. More up to
date information is available at the school web page (</span><span
style="font-size: 11pt; color: black;"><a
class="moz-txt-link-freetext"
href="https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programming">https://sites.google.com/view/iclp-dc-2020/autumn-school-on-logic-programming</a>)<span
style="background-color: white; background-position: initial
initial; background-repeat: initial initial;">.</span></span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><br>
</p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">***<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">Doctoral
Consortium<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">The 16th
Doctoral Consortium (DC) on Logic Programming provides
students with the opportunity to present and discuss their
research directions, and to obtain feedback from both peers
and experts in the field. Accepted participants will receive
partial financial support to attend the event and the main
conference. The best paper from the DC will be given the
opportunity to make a presentation in a session of the main
ICLP conference.<span class="Apple-converted-space"> </span></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;">The DC will
have its own CFP, including the submission details. For
information, please visit the DC Web Page (<a
class="moz-txt-link-freetext"
href="https://sites.google.com/view/iclp-dc-2020">https://sites.google.com/view/iclp-dc-2020</a>).</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;"><br>
</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">***<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">Workshops<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">The ICLP 2020 program will
include several workshops. They are perhaps the best places
for the presentation of preliminary work, underdeveloped novel
ideas, and new open problems to an interested audience with
opportunities for intensive discussions and project
collaborations.</span><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"><br>
</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">***<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">Tutorials<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">The ICLP 2020 program will
include several tutorials. They offer the participants,
reviews of specific subfields as well as hands-on sessions by
leading experts.</span><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;"> </span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">***<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black;">Conference Organization<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt; color: black; background-image: none;
background-attachment: scroll; background-color: white;
background-position: 0% 0%; background-repeat: repeat repeat;">***</span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;">General
Chairs:<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt; color: black;"><span
class="Apple-converted-space"> </span>Nicola Leone,
University of Calabria, Italy</span><span style="font-size:
11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt; color: black;"><span
class="Apple-converted-space"> </span>Sergio Greco,
University of Calabria, Italy<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"><br>
</span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><br>
<font face="Courier New"><span style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;">Program
Chairs:<span class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt; color: black;"><span
class="Apple-converted-space"> </span>Francesco Ricca,
University of Calabria, Italy<span
class="Apple-converted-space"> </span></span><span
style="font-size: 11pt;"></span></font></p>
<p style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: Helvetica; font-size: 12px; font-style: normal;
font-variant-caps: normal; font-weight: normal; letter-spacing:
normal; orphans: auto; text-align: start; text-indent: 0px;
text-transform: none; white-space: normal; widows: auto;
word-spacing: 0px; -webkit-text-size-adjust: auto;
-webkit-text-stroke-width: 0px; text-decoration: none;"><font
face="Courier New"><span style="font-size: 11pt; color: black;
background-image: none; background-attachment: scroll;
background-color: white; background-position: 0% 0%;
background-repeat: repeat repeat;">*</span><span
style="font-size: 11pt; color: black;"><span
class="Apple-converted-space"> </span>Alessandra Russo,
Imperial College London</span><span style="font-size: 11pt;"></span></font></p>
</body>
</html>
<br>
<div><span style="background-color:white;color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px"><br>--</span></div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white"><b>Dona il 5x1000</b> all'Università degli Studi di Sassari</span><div><span style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:12.8px;background-color:white">codice fiscale: 00196350904</span></div>