<div dir="ltr">========================================================<br>
<b>Call for Papers </b><b><br>
</b><b>ICLP 2020 - The 36th International Conference on Logic
Programming</b><b><br>
</b><b>September 18 - September 24, 2020</b><b><br>
</b><b>University of Calabria, Rende, Italy</b><b><br>
</b><b><a class="gmail-moz-txt-link-freetext" href="https://iclp2020.unical.it">https://iclp2020.unical.it</a></b><br>
========================================================<br>
<br>
<b>IMPORTANT HIGHLIGHTS: </b><b><br>
</b><b><br>
</b><b>Conference online:</b><br>
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.<br>
<br>
<b>Deadlines Extension:</b><br>
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. New schedule of important dates is highlighted
below:<br>
<br>
<b>Main Conference and Applications Track</b><br>
Abstract registration (regular papers)<b>: May 15, 2020</b><br>
Paper submission (regular paper): <b>May 22, 2020 </b><br>
Notification to authors (regular paper): <b>June 26, 2020
</b><br>
Paper Submission (short papers): <b>June 30, 2020 </b><br>
Revision submission (TPLP papers): <b>July 13, 2020 </b><br>
Final notifications (TPLP papers): <b>July 24, 2020 </b><br>
Camera-ready copy due: <b>July 29, 2020 </b>
<br>
<br>
<b>Research Challenges Track</b><br>
Abstract registration and paper submission: <b>June 30, 2020
</b><br>
Final notifications: <b>July 24, 2020</b><br>
Camera-ready copy due: <b>July 29, 2020</b><br>
<br>
<b>Sister Conferences and Journal Presentation Track</b><br>
Abstract registration and paper submission: <b>June 30,
2020 </b><br>
Final notifications: <b>July 24, 2020</b><br>
Camera-ready copy due: <b>July 29, 2020</b><br>
<br>
<b>Invited Speakers:</b><br>
Esra Erdem - Sabanci University, Turkey<br>
Joao Marquez-Silva - ANITI, University of Toulouse, France<br>
Luc De Readt - KU Leuven, Belgium<br>
Francesca Rossi - T.J. Watson IBM Research Lab, USA<br>
<br>
========================================================<br>
<br>
<b>The Conference</b><br>
<br>
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.<br>
<br>
<b>Scope</b><br>
=====<br>
Contributions are solicited in all areas of logic programming
and related areas, including but not restricted to:<br>
Foundations: Semantics, Formalisms, Answer-Set Programming,
Non-monotonic Reasoning, Knowledge Representation.<br>
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.<br>
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.<br>
Implementation: Concurrency and distribution, Objects,
Coordination, Mobility, Virtual machines, Compilation, Higher
Order, Type systems, Modules, Constraint handling rules,
Meta-programming, Foreign interfaces, User interfaces.<br>
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.<br>
<br>
<b>Tracks and Special Sessions</b><br>
======================<br>
Besides the main track, ICLP 2020 will host additional tracks
and special sessions:<br>
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.<br>
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.<br>
Special Session: Women in Logic Programming: This special
session will include invited talks and presentations by women
in logic programming.<br>
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.<br>
Every of the above four tracks will have its own dedicated
chairs, PC, evaluation 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 include invited talks, advanced
tutorials, the doctoral consortium, and several workshops.<br>
<br>
<b>Submission Details</b><br>
=================<br>
All submissions must be made via the EasyChair conference
system: <a class="gmail-moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=iclp20200">https://easychair.org/conferences/?conf=iclp20200</a>.
Regular papers must be in the condensed TPLP format (template
here) and not exceed 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 which will not be made available as appendices to the
published paper.<br>
<br>
Three kinds of regular papers will be accepted:<br>
• Technical papers for technically sound, innovative ideas
that can advance the 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>
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.<br>
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).<br>
The program committee may recommend some regular papers to be
published as Technical communications in EPTCS format (<a class="gmail-moz-txt-link-freetext" href="http://info.eptcs.org">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.<br>
All regular papers and technical communications will be
presented during the conference. So, at least one author per
accepted paper is expected to register and 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 Logic Programming
Newsletter at no cost.<br clear="all"><div><br></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><font size="2" color="#666666">Laura Pandolfo, Ph.D.</font></div><div dir="ltr"><div><div><font face="arial, helvetica, sans-serif" color="#666666">Università degli Studi di Sassari</font></div><div><font face="arial, helvetica, sans-serif" color="#666666">IDEA lab - <a href="http://idea.uniss.it/" target="_blank">http://idea.uniss.it/</a></font></div></div><div><font size="2" color="#666666"><span style="font-family:arial,helvetica,sans-serif">email: </span><a href="mailto:laura.pandolfo@uniss.it" style="font-family:arial,helvetica,sans-serif" target="_blank">laura.pandolfo@uniss.it</a></font></div></div></div></div></div></div></div></div></div></div></div></div>
<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>