<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p>
</p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">========================================================</span><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><br>
<b>FINAL CALL FOR PAPERS – Updated schedule</b></span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:
"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:
"Times New
Roman";color:black;mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US"> </span></b></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:
"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:
"Times New
Roman";color:black;mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US">ICLP 2020 - The 36th International Conference
on Logic Programming<br>
September 18 - September 24, 2020<br>
University of Calabria, Rende, Italy<br>
</span></b><a href="https://iclp2020.unical.it"><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";mso-ansi-language:
EN-US;mso-fareast-language:IT" lang="EN-US">https://iclp2020.unical.it</span></b></a><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><br>
<span style="background:white">========================================================</span><br>
<br>
<b>IMPORTANT HIGHLIGHTS: <br>
<br>
Conference online:</b><br>
<span style="background:white">The conference general chairs
together with the
program chairs and the ALP Executive, have decided to hold
ICLP2020 as a
fully virtual conference on the original week. More details
will be
forthcoming.</span><br>
<br>
<b>Deadlines Extension:</b><br>
<span style="background:white">Due to the difficult period we
are all
experiencing and the profound impact that this has been having
on our lives and
daily work we have decided to extend the submission deadline
for ICLP 2020
special tracks. New schedule of important dates is highlighted
below:</span><br>
<br>
<b>Applications Track and Woman in Logic Programming</b><br>
<span style="background:white"><span style="mso-spacerun:yes">
</span>Abstract registration (regular papers, including TPLP
papers): <b>June
3, 2020</b></span></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><span style="mso-spacerun:yes"> </span>Paper
submission (regular paper): <b>June
5, 2020 </b></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><span style="mso-spacerun:yes"> </span>Final
notifications (All paper kinds): <b>July
30, 2020 </b></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><span style="mso-spacerun:yes"> </span>Camera-ready
copy due: <b>August 6,
2020</b></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> </span></p>
<p class="MsoNormal"><b><span style="font-size:10.0pt;font-family:
"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:
"Times New
Roman";color:black;mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US">Research Challenges Track and Journal
Presentation Track</span></b></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><span style="mso-spacerun:yes"> </span>Abstract
registration and paper
submission: <b>July 12, 2020</b></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><span style="mso-spacerun:yes"> </span>Final
notifications: <b>July 30,
2020<span style="mso-spacerun:yes"> </span></b></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><span style="mso-spacerun:yes"> </span>Camera-ready
copy due: <b>August 6,
2020</b></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> </span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Abstract
registration of regular papers to the main track is now closed.</span><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><br>
<br>
<span style="background:white">========================================================</span><br>
<br>
<b>The Conference</b><br>
<span style="background:white">The 36th International Conference
on Logic
Programming (ICLP 2020) will take place from the 18th
September 2020 in Rende
(CS), Italy. Since the first conference held in Marseille in
1982, ICLP
has been the premier international event for presenting
research in logic
programming.</span><br>
<br>
<b>Scope</b><br>
<span style="background:white">=====</span><br>
<span style="background:white">Contributions are solicited in
all areas of
logic programming and related areas, including but not
restricted to: </span></span></p>
<p class="MsoListParagraphCxSpFirst"
style="margin-left:18.0pt;mso-add-space:
auto;text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Foundations:</span></b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> Semantics,
Formalisms, Answer-Set Programming, Non-monotonic Reasoning,
Knowledge
Representation. </span><span style="font-family:"Times New
Roman",serif;
mso-fareast-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US"></span></p>
<p class="MsoListParagraphCxSpMiddle"
style="margin-left:18.0pt;mso-add-space:
auto;text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Declarative
Programming:</span></b><span
style="font-size:10.0pt;font-family:
"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:
"Times New
Roman";color:black;background:white;mso-ansi-language:EN-US;
mso-fareast-language:IT" lang="EN-US"> 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-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US"></span></p>
<p class="MsoListParagraphCxSpMiddle"
style="margin-left:18.0pt;mso-add-space:
auto;text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Related
Paradigms and Synergies:</span></b><span
style="font-size:10.0pt;
font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";
mso-bidi-font-family:"Times New
Roman";color:black;background:white;mso-ansi-language:
EN-US;mso-fareast-language:IT" lang="EN-US"> 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-family:
"Times New
Roman",serif;mso-fareast-font-family:"Times New
Roman";mso-ansi-language:
EN-US;mso-fareast-language:IT" lang="EN-US"></span></p>
<p class="MsoListParagraphCxSpMiddle"
style="margin-left:18.0pt;mso-add-space:
auto;text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Implementation:</span></b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> Concurrency
and distribution, Objects, Coordination, Mobility, Virtual
machines,
Compilation, Higher Order, Type systems, Modules, Constraint
handling rules,
Meta-programming, Foreign interfaces, User interfaces.</span><span
style="font-family:"Times New
Roman",serif;mso-fareast-font-family:"Times New
Roman";
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"></span></p>
<p class="MsoListParagraphCxSpLast"
style="margin-left:18.0pt;mso-add-space:auto;
text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Applications:</span></b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> 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><span
style="font-family:"Times New Roman",serif;
mso-fareast-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US"></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><br>
<br>
<b>Tracks and Special Sessions</b><br>
<span style="background:white">======================</span></span><br>
<span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US">
</span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Besides
the main track, ICLP 2020 will host additional tracks and
special sessions:</span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> </span></p>
<p class="MsoListParagraphCxSpFirst"
style="margin-left:18.0pt;mso-add-space:
auto;text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Applications
Track:</span></b><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> 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. <b>Paper
Types:</b></span><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US">
Regular paper (including TPLP
Papers), Short Paper.</span><span style="font-family:"Times
New Roman",serif;
mso-fareast-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US"></span></p>
<p class="MsoListParagraphCxSpMiddle"
style="margin-left:18.0pt;mso-add-space:
auto;text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Sister
Conferences and Journal Presentation Track:</span></b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> 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><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"> <b><span
style="background:
white">Paper Type:</span></b> Paper published in other main
venue.</span><span style="font-family:"Times New
Roman",serif;mso-fareast-font-family:
"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"></span></p>
<p class="MsoListParagraphCxSpMiddle"
style="margin-left:18.0pt;mso-add-space:
auto;text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Research
Challenges in Logic Programming Track:</span></b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> 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. <b>Paper Type:</b></span><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US">
Short paper.</span><span style="font-family:"Times New
Roman",serif;mso-fareast-font-family:
"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"></span></p>
<p class="MsoListParagraphCxSpLast"
style="margin-left:18.0pt;mso-add-space:auto;
text-indent:-18.0pt;mso-list:l0 level1 lfo1"><span
style="font-size:10.0pt;mso-bidi-font-size:12.0pt;font-family:"Georgia",serif;mso-fareast-font-family:Georgia;mso-bidi-font-family:Georgia;color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US"><span
style="mso-list:Ignore">-<span style="font:7.0pt "Times
New Roman""> </span></span></span><b><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Women in
Logic Programming: </span></b><span style="font-size:10.0pt;
font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";
mso-bidi-font-family:"Times New
Roman";color:black;background:white;mso-ansi-language:
EN-US;mso-fareast-language:IT" lang="EN-US">This special session
aims to increase the
visibility and impact of women in LP, fostering awareness of one
another’s
work. To have good role models is very important for female
students and this
session is an opportunity to celebrate women’s work in the
community. We hope
this will be particularly attractive to early-career women.
Contributions are
solicited in all areas of logic programming and related areas,
with a special
focus on applications that are beneficial to society in the
large, and to the
role of women in society in particular. <b>Paper Types:</b></span><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US">
Regular paper (including TPLP
Papers), Short Paper.</span><span style="font-family:"Times
New Roman",serif;
mso-fareast-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US"></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
mso-ansi-language:EN-US;mso-fareast-language:IT" lang="EN-US">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;
mso-font-charset:77;
mso-generic-font-family:decorative;
mso-font-pitch:variable;
mso-font-signature:3 0 0 0 -2147483647 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:3 0 0 0 1 0;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-536859905 -1073732485 9 0 511 0;}
@font-face
{font-family:Georgia;
panose-1:2 4 5 2 5 4 5 2 3 3;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:647 0 0 0 159 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}size:612.0pt 792.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;
mso-header-margin:36.0pt;
mso-footer-margin:36.0pt;
mso-paper-source:0;}
div.WordSection1
{page:WordSection1;}mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:306.0pt;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}</style>
<br>
<b>Submission Details</b><br>
<span style="background:white">=================</span></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><span style="background:white">All submissions must
be made via the EasyChair
conference system: </span></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> </span></p>
<p class="MsoNormal" style="text-indent:35.4pt"><a
href="https://easychair.org/conferences/?conf=iclp20200"><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";mso-bidi-font-family:"Times New
Roman";mso-ansi-language:
EN-US;mso-fareast-language:IT" lang="EN-US">https://easychair.org/conferences/?conf=iclp20200</span></a><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">. </span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> </span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> </span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US">Each
ICLP2020 Track has its own submission rules, please check the
dedicated CFP in
our website for more details: </span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"> </span></p>
<p class="MsoNormal" style="text-indent:35.4pt"><a
href="https://iclp2020.unical.it/calls"><span
style="font-size:10.0pt;
font-family:"Georgia",serif;mso-fareast-font-family:"Times
New Roman";
mso-bidi-font-family:"Times New
Roman";background:white;mso-ansi-language:EN-US;
mso-fareast-language:IT" lang="EN-US">https://iclp2020.unical.it/calls</span></a><span
style="font-size:10.0pt;font-family:"Georgia",serif;mso-fareast-font-family:
"Times New Roman";mso-bidi-font-family:"Times New
Roman";color:black;
background:white;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"></span></p>
<p class="MsoNormal"><span
style="font-size:10.0pt;font-family:"Georgia",serif;
mso-fareast-font-family:"Times New
Roman";mso-bidi-font-family:"Times New Roman";
color:black;mso-ansi-language:EN-US;mso-fareast-language:IT"
lang="EN-US"><br>
<span style="background:white">All papers will be presented
during
the conference. So, at least one author per accepted paper is
expected to
register and attend remotely the conference. 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></span><span style="font-family:"Times New
Roman",serif;
mso-fareast-font-family:"Times New
Roman";mso-ansi-language:EN-US;mso-fareast-language:
IT" lang="EN-US"></span></p>
<p class="MsoNormal"><span style="mso-ansi-language:EN-US"
lang="EN-US"> </span></p>
<p>
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;
mso-font-charset:77;
mso-generic-font-family:decorative;
mso-font-pitch:variable;
mso-font-signature:3 0 0 0 -2147483647 0;}
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:3 0 0 0 1 0;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;
mso-font-charset:0;
mso-generic-font-family:swiss;
mso-font-pitch:variable;
mso-font-signature:-536859905 -1073732485 9 0 511 0;}
@font-face
{font-family:Georgia;
panose-1:2 4 5 2 5 4 5 2 3 3;
mso-font-charset:0;
mso-generic-font-family:roman;
mso-font-pitch:variable;
mso-font-signature:647 0 0 0 159 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0cm;
margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;
text-underline:single;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-noshow:yes;
mso-style-priority:99;
color:#954F72;
mso-themecolor:followedhyperlink;
text-decoration:underline;
text-underline:single;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast
{mso-style-priority:34;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-type:export-only;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
mso-add-space:auto;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}
.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-fareast-language:EN-US;}size:595.0pt 842.0pt;
margin:70.85pt 2.0cm 2.0cm 2.0cm;
mso-header-margin:35.4pt;
mso-footer-margin:35.4pt;
mso-paper-source:0;}
div.WordSection1
{page:WordSection1;}mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:306.0pt;
text-indent:-18.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}</style></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>