<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><font size="+1" face="Courier New, Courier, monospace">[Apologies
for cross-posting]<br>
<br>
*IMPORTANT NOTE: We are continuously monitoring the COVID-19
situation <br>
from local authorities and the World Health Organization. ICLP
2020 is <br>
half a year away, and we are confident that COVID-19 emergency
will pass<br>
over and the conference will be held in September, as planned.
And, if <br>
necessary, alternative solutions, such as postponement, remote <br>
presentations, etc will be looked into and identified.*<br>
<br>
<br>
***Call for Papers - Sister Conferences and Journal Presentation
Track***<br>
ICLP 2020<br>
The 36th International Conference on Logic Programming<br>
September 18 - September 24, 2020<br>
University of Calabria, Rende, Italy<br>
<a class="moz-txt-link-freetext" href="https://iclp2020.unical.it">https://iclp2020.unical.it</a><br>
<br>
The program committee of the 36th International Conference on
Logic <br>
Programming (ICLP) invites submissions of published journal
papers and <br>
papers presented at related conferences for the Sister
Conferences and <br>
Journal Presentation Track. The track is designed to provide a
forum to <br>
discuss important results related to logic programming that
appeared <br>
since 2018 in selective journals or were presented at related
conferences,<br>
but that have not been previously presented at ICLP.<br>
<br>
The goal of this track is two-fold:<br>
<br>
1. To provide authors an opportunity to present at the <br>
conference important results published in journals that might
otherwise<br>
not be submitted to the conference due to their length and
complexity. <br>
Papers that differ from traditional ICLP format and topics are
welcome.<br>
2. To broaden the program with lines of work at the intersection
between <br>
logic programming and related fields such as for example
constraint <br>
programming, operations research, control, knowledge
representation and <br>
reasoning, machine learning, multi-agent systems, robotics,
computer games, <br>
and cognitive science. Papers that use logic programming in some
innovative<br>
way are welcome.<br>
<br>
Paper Presentations:<br>
====================<br>
All accepted submissions will be presented orally during the
conference <br>
- at least one author is expected to register to ICLP 2020 and
to present <br>
the paper in person. Complete citations and URLs of the original
papers <br>
(if available from the publisher) will be published on the ICLP
2020 web <br>
site as a permanent reference. A 2-page extended abstract
summarizing the <br>
line of research leading to the presented results can optionally
be <br>
submitted for presentation in the technical communications of
ICLP.<br>
<br>
<br>
Submission Requirements:<br>
========================<br>
Submissions must meet the following criteria:<br>
• Candidate papers must be published in a journal such as<br>
(but not limited to) AIJ, ACM TOCL, JAIR, or other leading
journals or <br>
in the proceedings of related conferences such as KR, LPNMR,
AAMAS, AAAI,<br>
IJCAI, ECAI, ICAPS, SAT, ICML, ICDT, PODS, VLDB, WWW, ISWC,
ESWC, DL, <br>
JELIA, SAT, POPL, PADL, LICS, etc. <br>
• Candidate papers must have appeared since 2018.<br>
• Papers that are in press may be submitted as long as the final
<br>
camera-ready version is available at some URL (such as,
ArXiv).<br>
• Extensions of papers that have been previously presented at
ICLP (or <br>
co-located Workshops) are not eligible for this track.<br>
<br>
Submission Process:<br>
===================<br>
All submissions will be done via EasyChair <br>
(<a class="moz-txt-link-freetext" href="https://easychair.org/my/conference?conf=iclp20200">https://easychair.org/my/conference?conf=iclp20200</a>). The
submission will <br>
be in the following format:<br>
• Title and authors of the work for the ICLP Sister Conferences
and <br>
Journal Presentation Track (to be published on the Web - see
note <br>
below about title and authors),<br>
• An accompanying letter containing:<br>
• Complete bibtex reference of the original paper (only 1
reference!)<br>
(to be published on the Web) + a URL where the paper can
be <br>
downloaded from the publisher (if available) (to be
published on <br>
the Web);<br>
• An explanation of why this paper is interesting to the
logic <br>
programming community (at most 1 page in PDF).<br>
• The original paper (in PDF) (for reviewers only, it will not
be posted <br>
on the Web because of copyright issues) because some reviewers
could be<br>
at universities that don’t have contracts with publishers,
such as, <br>
Elsevier, Cambridge Publishing, ACM, etc.<br>
• Optional: only if the authors wish to publish an extended
abstract in<br>
the technical communications of ICLP2020 please submit a
2-page extended<br>
abstract of the paper (PDF in EPTCS format
<a class="moz-txt-link-freetext" href="http://style.eptcs.org/">http://style.eptcs.org/</a>) for <br>
the ICLP Sister Conferences and Journal Presentation Track
(note: we will<br>
ask for the LaTex sources after the notification).<br>
Note: the 2 pages abstract should not contain new material since
this is <br>
just a report of a publication in a related conference. The
title should be <br>
a bit different than the original publication (since it would
look odd to <br>
have a paper with the same title, but much shorter after the
original <br>
publication), such as, add Report or Summary in the title. It is
not necessary<br>
to radically change it. The authors should be the same and in
the same order <br>
with respect to the original publication. The papers in this
track will be <br>
grouped under a subsection Sister Conferences and Journal
Presentation Track, <br>
so other researchers can see that this is a report on the
original publication. <br>
We advise authors to start the paper with a sentence stating
that this abstract<br>
is a report or summary of the original publication (with
immediately citing <br>
that work).<br>
<br>
Evaluation criteria:<br>
====================<br>
Submissions will go through a peer review selection process.
Selection criteria<br>
include significance of the results and relevance to the logic
programming <br>
community.<br>
<br>
Important Dates:<br>
================<br>
Abstract registration (regular papers): May 8, 2020<br>
Paper submission (regular paper): May 15, 2020 <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>
<br>
Sister Conferences and Journal Presentation Track Chairs:<br>
========================================================<br>
Paul Fodor, Stony Brook University<br>
Marco Maratea, University of Genova<br>
</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>