<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body>
<p><font face="Courier New, Courier, monospace">[Apologies for
cross-posting]<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 ***<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 36th International Conference on Logic Programming (ICLP
2020) will<br>
take place from the 18th to the 24nd of September 2020 in Rende
(CS), <br>
Italy, with the main program starting immediately after the
sister <br>
conference KR 2020. Since the first conference held in Marseille
in 1982,<br>
ICLP has been the premier international event for presenting
research in<br>
logic programming.<br>
<br>
Scope<br>
=====<br>
Contributions are solicited in all areas of logic programming
and related<br>
areas, including but not restricted to:<br>
<br>
• Foundations: Semantics, Formalisms, Answer-Set Programming,
Non-monotonic<br>
Reasoning, Knowledge Representation.<br>
• Declarative Programming: Inference engines, Analysis, Type and
mode <br>
inference, Partial evaluation, Abstract interpretation,
Transformation,<br>
Validation, Verification, Debugging, Profiling, Testing,
Logic-based <br>
domain-specific languages, constraint handling rules.<br>
• Related Paradigms and Synergies: Inductive and Co-inductive
Logic <br>
Programming, Constraint Logic Programming, Interaction with
SAT, SMT and<br>
CSP solvers, Logic programming techniques for type inference
and theorem<br>
proving, Argumentation, Probabilistic Logic Programming,
Relations to <br>
object-oriented and Functional programming, Description
logics, <br>
Neural-Symbolic Machine Learning, Hybrid Deep Learning and
Symbolic <br>
Reasoning.<br>
• Implementation: Concurrency and distribution, Objects,
Coordination, <br>
Mobility, Virtual machines, Compilation, Higher Order, Type
systems, <br>
Modules, Constraint handling rules, Meta-programming, Foreign
interfaces,<br>
User interfaces.<br>
• Applications: Databases, Big Data, Data Integration and
Federation, <br>
Software Engineering, Natural Language Processing, Web and
Semantic Web,<br>
Agents, Artificial Intelligence, Bioinformatics, Education,
Computational<br>
life sciences, Education, Cybersecurity, and Robotics.<br>
<br>
Tracks and Special Sessions<br>
===========================<br>
Besides the main track, ICLP 2020 will host additional tracks
and special<br>
sessions:<br>
<br>
• Applications Track: This track invites submissions of papers
on emerging<br>
and deployed applications of LP, describing all aspects of the
development,<br>
deployment, and evaluation of logic programming systems to
solve real-world<br>
problems, including interesting case studies and benchmarks,
and discussing<br>
lessons learned.<br>
• Sister Conferences and Journal Presentation Track: This track
provides a <br>
forum to discuss important results related to logic
programming that appeared<br>
recently (from January 2017 onwards) in selective journals and
conferences <br>
but have not been previously presented at ICLP.<br>
• Special Session: Women in Logic Programming: This special
session will include<br>
invited talks and presentations by women in logic programming.<br>
• Research Challenges in Logic Programming Track: This track
invites submissions<br>
of papers describing research challenges that an individual
researcher or a <br>
research group is currently attacking. The goal of the track
is to promote <br>
discussions, exchange of ideas, and possibly stimulate new
collaborations. <br>
Papers submitted to this track do not go through the usual
review and will not<br>
be published in the proceedings – they will be distributed at
the conference as<br>
a technical report.<br>
Every of the above four tracks will have its own dedicated
chairs, PC, evaluation <br>
criteria, and CFP with related submission details (see the
specific call for papers).<br>
<br>
In addition to the presentations of accepted papers, the
technical program will <br>
include invited talks, advanced tutorials, the doctoral
consortium, and several <br>
workshops.<br>
<br>
Submission Details<br>
==================<br>
All submissions must be made via the EasyChair conference
system: <br>
<a class="moz-txt-link-freetext" href="https://easychair.org/conferences/?conf=iclp20200">https://easychair.org/conferences/?conf=iclp20200</a>.<br>
<br>
Regular papers must be in the condensed TPLP format (template
here) and not exceed <br>
14 pages including bibliography. Regular papers may be
supplemented with appendices<br>
for proofs and details of datasets which do not count towards
the page limit and <br>
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 <br>
state of logic programming;<br>
• Application papers that impact interesting application
domains;<br>
• System and tool papers which emphasize novelty, practicality,
usability, and<br>
availability of the systems and tools described.<br>
Application, system, and tool papers need to be clearly marked
in their title.<br>
<br>
All submissions must be written in English and describe
original, previously <br>
unpublished research, and must not simultaneously be submitted
for publication<br>
elsewhere. These restrictions do not apply to previously
accepted workshop papers<br>
with a limited audience and/or without archival proceedings.<br>
<br>
Papers of the highest quality will be selected to be published
in the journal of<br>
Theory and Practice of Logic Programming (TPLP), Cambridge
University Press (CUP).<br>
In order to ensure the quality of the final version, papers may
be subject to more<br>
than one round of refereeing (within the decision period).<br>
<br>
The program committee may recommend some regular papers to be
published as Technical<br>
communications in EPTCS format (<a class="moz-txt-link-freetext" href="http://info.eptcs.org">http://info.eptcs.org</a>).
Technical communications must<br>
not exceed 14 pages, including the bibliography. The authors of
the technical<br>
communications can also elect to convert their submissions into
extended abstracts,<br>
of 2 or 3 pages, for inclusion in the EPTCS proceedings. This
should allow authors<br>
to submit a long version elsewhere.<br>
<br>
All regular papers and technical communications will be
presented during the <br>
conference. So, at least one author per accepted paper is
expected to register and <br>
attend the conference. Authors of accepted papers will, by
default, be automatically<br>
included in the list of ALP members, who will receive quarterly
updates from the <br>
Logic Programming Newsletter at no cost.<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>
Autumn School on Logic Programming<br>
==================================<br>
A school on logic programming will be held before the
conference. More up to date<br>
information is available at the school web page.<br>
<br>
Doctoral Consortium<br>
===================<br>
The 16th Doctoral Consortium (DC) on Logic Programming provides
students with the<br>
opportunity to present and discuss their research directions,
and to obtain feedback<br>
from both peers and experts in the field. Accepted participants
will receive partial <br>
financial support to attend the event and the main conference.
The best paper from <br>
the DC will be given the opportunity to make a presentation in a
session of the main<br>
ICLP conference.<br>
The DC will have its own CFP, including the submission details.
For information, <br>
please visit the DC Web Page.<br>
<br>
Workshops<br>
=========<br>
The ICLP 2020 program will include several workshops. They are
perhaps the best places<br>
for the presentation of preliminary work, underdeveloped novel
ideas, and new open <br>
problems to an interested audience with opportunities for
intensive discussions and <br>
project collaborations.<br>
<br>
Tutorials<br>
=========<br>
The ICLP 2020 program will include several tutorials. They offer
the participants,<br>
reviews of specific subfields as well as hands-on sessions by
leading experts.<br>
<br>
Conference Organization<br>
=======================<br>
General Chairs:<br>
• Sergio Greco, University of Calabria, Italy<br>
• Nicola Leone, University of Calabria, Italy<br>
<br>
Program Chairs:<br>
• Francesco Ricca, University of Calabria, Italy<br>
• Alessandra Russo, Imperial College London<br>
<br>
Organizing Chairs:<br>
• Marco Calautti, University of Calabria, Italy<br>
• Carmine Dodaro, University of Calabria, Italy<br>
<br>
Publicity Chair:<br>
• Laura Pandolfo, University of Sassari, Italy<br>
<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>