* [Caml-list] [CfP] ICLP2020 - The 36th International Conference on Logic Programming
@ 2020-01-27 15:36 Laura Pandolfo
0 siblings, 0 replies; 1+ messages in thread
From: Laura Pandolfo @ 2020-01-27 15:36 UTC (permalink / raw)
[-- Attachment #1: Type: text/plain, Size: 8709 bytes --]
****************************Call for Papers*****************************
The 36th International Conference on
18-24 September 2020, Rende, Italy
Since the first conference held in Marseille in 1982, the International
Conference on Logic Programming (ICLP 2020) has been the premier
international event for presenting research in logic programming.
*** Scope ***
Contributions are solicited in all areas of logic programming, 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
*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, withdedicated chairs, PC, evaluation criteria, and CfP
with related submission details.
*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.
Papers submitted to this track will be evaluated using different
criteria, such as:
* Significance of the real-world problem being addressed
* Importance and novelty of using logic programming technologies to
solve this problem
* Evaluation and applicability of the system in real-world
* Reusable datasets, case studies and benchmarks
*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.
In addition to the presentations of accepted papers, the technical
program will include invited talks, advanced tutorials, the doctoral
consortium, and several workshops.
All submissions of the main track must be made via the EasyChair
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
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
<http://info.eptcs.org/>). Technical communications must not exceed 14
pages, includingthe 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 communicationswill 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
*Abstract registration (regular papers): May 8, 2020
*Paper submission (regular paper): May 15, 2020
*Notification to authors (regular paper): June 19, 2020
*Paper Submission (short papers): June 30, 2020
*Revision submission (TPLP papers): July 6, 2020
*Final notifications (TPLP papers): July 17, 2020
*Camera-ready copy due: July 27, 2020
***Autumn School on Logic Programming***
A school on logic programming will be held before the conference. More
up to date information is available at the school web page
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 financial support to attend
the event and the main conference. The best paper from the DC will be
given the opportunity to make a presentation in a session of the main
The DC will have its own CFP, including the submission details. For
information, please visit the DC Web Page
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 problems to an interested audience with
opportunities for intensive discussions and project collaborations.
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.
*Nicola Leone, University of Calabria, Italy
*Sergio Greco, University of Calabria, Italy
*Francesco Ricca, University of Calabria, Italy
*Alessandra Russo, Imperial College London
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
[-- Attachment #2: Type: text/html, Size: 79330 bytes --]
^ permalink raw reply [flat|nested] 1+ messages in thread
only message in thread, back to index
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-27 15:36 [Caml-list] [CfP] ICLP2020 - The 36th International Conference on Logic Programming Laura Pandolfo
caml-list - the Caml user's mailing list
Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list
AGPL code for this site: git clone https://public-inbox.org/ public-inbox