<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><font face="Helvetica">[Apologies for cross-posting]<br>
</font>
<font face="Helvetica"><br>
</font>
<font face="Helvetica"><i><u>IMPORTANT NOTE:</u></i><i> The
conference general chairs together with the program</i><i><span><span> </span></span></i><i>chairs
and the ALP Executive, have decided to hold ICLP2020 as a
fully</i><i><span><span> </span></span></i><i>virtual
conference on the original week. More details will be
forthcoming.</i></font><font face="Helvetica"><br>
</font></p>
<font face="Helvetica">
========================================================</font><br>
<wbr><wbr><font face="Helvetica"><b>Call for Papers<span> </span></b></font><font
face="Helvetica"><b><br>
</b></font><font face="Helvetica"><b>ICLP 2020 - The 36th
International Conference on Logic Programming</b></font><br>
<font face="Helvetica"><b>
September 18 - September 24, 2020</b></font><br>
<font face="Helvetica"><b> </b><b>University of Calabria, Rende,
Italy</b></font><br>
<font face="Helvetica"><b>
</b><b><a href="https://iclp2020.unical.it/" target="_blank"
data-saferedirecturl="https://www.google.com/url?q=https://iclp2020.unical.it/&source=gmail&ust=1587477076416000&usg=AFQjCNGLIxGAfD0GOfse6chgqT4jdVU-MQ"
style="color: rgb(17, 85, 204);">https://iclp2020.unical.it</a></b></font><br>
<font face="Helvetica">========================================================</font><br>
<font face="Helvetica"><br>
</font>
<font face="Helvetica">The 36th International Conference on Logic
Programming (ICLP 2020) will take place from the 18th to the 24nd
of September 2020 in Rende (CS),<span><span> </span></span>Italy,
with the main program starting immediately after the sister<span> <span> </span></span>conference
KR 2020. Since the first conference held in Marseille in 1982,
ICLP has been the premier international event for presenting
research in logic programming.<br>
</font>
<font face="Helvetica"><br>
</font> <font face="Helvetica"><b>Scope</b><br>
=====<br>
Contributions are solicited in all areas of logic programming and
related areas, including but not restricted to:<br>
</font>
<font face="Helvetica"><u><span style="box-sizing: border-box;">Foundations:<span></span></span></u><strong
style="box-sizing: border-box; font-weight: bold;"><span> </span></strong>Semantics,
Formalisms, Answer-Set Programming, Non-monotonic Reasoning,
Knowledge Representation.<strong style="box-sizing: border-box;
font-weight: bold;"></strong><br>
</font>
<font face="Helvetica"><u><span style="box-sizing: border-box;">Declarative
Programming</span></u><u>:</u> 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.<strong style="box-sizing:
border-box; font-weight: bold;"><br>
</strong><u><span style="box-sizing: border-box;">Related
Paradigms and Synergies</span></u><u>:</u> 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.<strong
style="box-sizing: border-box; font-weight: bold;"><br>
</strong><u><span style="box-sizing: border-box;">Implementation</span></u><u>:</u>
Concurrency and distribution, Objects, Coordination, Mobility,
Virtual machines, Compilation, Higher Order, Type systems,
Modules, Constraint handling rules, Meta-programming, Foreign
interfaces, User interfaces.<strong style="box-sizing: border-box;
font-weight: bold;"><br>
</strong><u><span style="box-sizing: border-box;">Applications</span></u><u>:</u>
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.<br>
</font>
<font face="Helvetica"><b><br>
</b><br>
</font>
<font face="Helvetica"><b>Tracks and Special Sessions</b><br>
</font>
<font face="Helvetica">========================<br>
</font>
<font face="Helvetica">Besides the main track, ICLP 2020 will host
additional tracks and special sessions:<strong style="font-weight:
bold; box-sizing: border-box;"><br>
</strong><u><span style="box-sizing: border-box;">Applications
Track:</span></u><span> </span>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.<strong style="font-weight: bold; box-sizing: border-box;"><br>
</strong><u><span style="box-sizing: border-box;">Sister
Conferences and Journal Presentation Track</span></u><u>:</u>
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.<strong style="font-weight: bold;
box-sizing: border-box;"><br>
</strong><u><span style="box-sizing: border-box;">Special Session:
Women in Logic Programming</span></u><u>:</u> This special
session will include invited talks and presentations by women in
logic programming.<strong style="font-weight: bold; box-sizing:
border-box;"></strong><br>
</font>
<font face="Helvetica"><strong style="font-weight: bold; box-sizing:
border-box;"></strong><u><span style="box-sizing: border-box;">Research
Challenges in Logic Programming Track:<span></span></span></u><strong
style="font-weight: bold; box-sizing: border-box;"><span> </span></strong>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.</font>
<p><font face="Helvetica">Every of the above four tracks will have
its own dedicated chairs, PC, evaluation<span><span> </span></span>criteria,
and CFP with related submission details (see the specific call
for papers). In addition to the presentations of accepted
papers, the technical program will<span> <span> </span></span>include
invited talks, advanced tutorials, the doctoral consortium, and
several<span><span> </span></span>workshops.<br>
</font>
</p>
<font face="Helvetica"><b>Submission Details</b><br>
=================<br>
All submissions must be made via the EasyChair conference system:<span><span> </span></span><a
href="https://easychair.org/conferences/?conf=iclp20200"
target="_blank"
data-saferedirecturl="https://www.google.com/url?q=https://easychair.org/conferences/?conf%3Diclp20200&source=gmail&ust=1587477076416000&usg=AFQjCNGGxWWZF3oedmlbspoRzDrR8byY9Q"
style="color: rgb(17, 85, 204);">https://easychair.org/<wbr>conferences/?conf=iclp20200</a>.
Regular papers must be in the condensed TPLP format (template
here) and not exceed<span><span> </span></span>14 pages including
bibliography. Regular papers may be supplemented with appendices
for proofs and details of datasets which do not count towards the
page limit and<span><span> </span></span>which will not be made
available as appendices to the published paper.<br>
</font> <font face="Helvetica"><br>
Three kinds of regular papers will be accepted:<br>
• Technical papers for technically sound, innovative ideas that
can advance the<span><span> </span></span>state of logic
programming;<br>
• Application papers that impact interesting application domains;<br>
• System and tool papers which emphasize novelty, practicality,
usability, and availability of the systems and tools described.
Application, system, and tool papers need to be clearly marked in
their title.<br>
</font>
<p><font face="Helvetica">All submissions must be written in English
and describe original, previously<span> <span> </span></span>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.</font></p>
<p><font face="Helvetica">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).</font></p>
<p><font face="Helvetica">The program committee may recommend some
regular papers to be published as Technical communications in
EPTCS format (<a href="http://info.eptcs.org/" target="_blank"
data-saferedirecturl="https://www.google.com/url?q=http://info.eptcs.org/&source=gmail&ust=1587477076416000&usg=AFQjCNG6H4jADaRPZ-R5al4fpRCtu7Np7w"
style="color: rgb(17, 85, 204);">http://info.eptcs.org</a>).
Technical communications must not exceed 14 pages, including the
bibliography. 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. This
should allow authors to submit a long version elsewhere.</font></p>
<font face="Helvetica">All regular papers and technical
communications will be presented during the<span> <span> </span></span>conference.
So, at least one author per accepted paper is expected to register
and<span> <span> </span></span>attend 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<span><span> </span></span>Logic
Programming Newsletter at no cost.<br>
</font> <font face="Helvetica"><br>
</font> <font face="Helvetica"><b>Important Dates</b><br>
==============<br>
Abstract registration (regular papers): May 8, 2020<br>
Paper submission (regular paper): May 15, 2020<span> </span><br>
Notification to authors (regular paper): June 19, 2020<br>
Paper Submission (short papers): June 30, 2020<br>
Revision submission (TPLP papers): July 6, 2020<br>
Final notifications (TPLP papers): July 17, 2020<br>
Camera-ready copy due: July 27, 2020<br>
Main Conference starts: September 19, 2020<br>
</font> <font face="Helvetica"><br>
</font> <font face="Helvetica"><b>Autumn School on Logic
Programming</b><br>
==============================</font><wbr><font face="Helvetica">===<br>
A school on logic programming will be held before the conference.
More up to date information is available at the school web page.<br>
</font> <font face="Helvetica"><br>
</font> <font face="Helvetica"><b>Doctoral Consortium</b><br>
==================<br>
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<span> <span> </span></span>financial
support to attend the event and the main conference. The best
paper from<span> <span> </span></span>the DC will be given the
opportunity to make a presentation in a session of the main ICLP
conference. The DC will have its own CFP, including the submission
details. For information,<span><span> </span></span>please visit
the DC Web Page.<br>
</font> <font face="Helvetica"><br>
</font> <font face="Helvetica"><b>Workshops</b><br>
=========<br>
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<span> <span> </span></span>problems
to an interested audience with opportunities for intensive
discussions and<span><span> </span></span>project collaborations.<br>
</font> <font face="Helvetica"><br>
</font> <font face="Helvetica"><b>Tutorials</b><br>
========<br>
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.<br>
</font> <font face="Helvetica"><br>
</font> <font face="Helvetica"><b>Conference Organization</b><br>
=====================<br>
General Chairs:<br>
• Sergio Greco, University of Calabria, Italy<br>
• Nicola Leone, University of Calabria, Italy<br>
</font> <font face="Helvetica"><br>
Program Chairs:<br>
• Francesco Ricca, University of Calabria, Italy<br>
• Alessandra Russo, Imperial College London<br>
</font> <font face="Helvetica"><br>
Organizing Chairs:<br>
• Marco Calautti, University of Calabria, Italy<br>
• Carmine Dodaro, University of Calabria, Italy<br>
</font> <font face="Helvetica"><br>
Publicity Chair:<br>
• Laura Pandolfo, University of Sassari, Italy</font>
</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>