[DL] [CfP - Extended Deadline] ICLP2020 - The 36th International Conference on Logic Programming

[Laura Pandolfo]

========================================================
*Call for Papers *
*ICLP 2020 - The 36th International Conference on Logic Programming*
*September 18 - September 24, 2020*
*University of Calabria, Rende, Italy*
*https://iclp2020.unical.it <https://iclp2020.unical.it>*
========================================================

*IMPORTANT HIGHLIGHTS: *

*Conference online:*
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.

*Deadlines Extension:*
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:

*Main Conference and Applications Track*
    Abstract registration (regular papers)*: May 15, 2020*
    Paper submission (regular paper): *May 22, 2020      *
    Notification to authors (regular paper): *June 26, 2020 *
    Paper Submission (short papers): *June 30, 2020 *
    Revision submission (TPLP papers):  *July 13, 2020 *
    Final notifications (TPLP papers): *July 24, 2020 *
    Camera-ready copy due:  *July 29, 2020 *

*Research Challenges Track*
    Abstract registration and paper submission: *June 30, 2020 *
    Final notifications: *July 24, 2020*
    Camera-ready copy due: *July 29, 2020*

*Sister Conferences and Journal Presentation Track*
    Abstract registration and paper submission: *June 30, 2020 *
    Final notifications: *July 24, 2020*
    Camera-ready copy due: *July 29, 2020*

*Invited Speakers:*
Esra Erdem - Sabanci University, Turkey
Joao Marquez-Silva -  ANITI, University of Toulouse, France
Luc De Readt - KU Leuven, Belgium
Francesca Rossi - T.J. Watson IBM Research Lab, USA

========================================================

*The Conference*

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.

*Scope*
=====
Contributions are solicited in all areas of logic programming and related
areas, including but not restricted to:
Foundations: Semantics, Formalisms, Answer-Set Programming, Non-monotonic
Reasoning, Knowledge Representation.
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.
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.
Implementation: Concurrency and distribution, Objects, Coordination,
Mobility, Virtual machines, Compilation, Higher Order, Type systems,
Modules, Constraint handling rules, Meta-programming, Foreign interfaces,
User interfaces.
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.

*Tracks and Special Sessions*
======================
Besides the main track, ICLP 2020 will host additional tracks and special
sessions:
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.
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.
Special Session: Women in Logic Programming: This special session will
include invited talks and presentations by women in logic programming.
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.
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.

*Submission Details*
=================
All submissions must be made via the EasyChair conference system:
https://easychair.org/conferences/?conf=iclp20200. 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.

Three kinds of regular papers will be accepted:
• Technical papers for technically sound, innovative ideas that can advance
the state of logic programming;
• Application papers that impact interesting application domains;
• 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.
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.
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).
The program committee may recommend some regular papers to be published as
Technical communications in EPTCS format (http://info.eptcs.org). 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.
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.

-- 
Laura Pandolfo, Ph.D.
Università degli Studi di Sassari
IDEA lab - http://idea.uniss.it/
email: laura.pandolfo at uniss.it

-- 

--
*Dona il  5x1000* all'Università degli Studi di Sassaricodice fiscale: 
00196350904
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.zih.tu-dresden.de/pipermail/dl/attachments/20200504/eac724a4/attachment.htm>