About |
The 36th International Conference on Logic Programming (ICLP 2020) will take place from the 18th to the 24nd of September 2020 in Rende (CS), Italy, with the main program starting immediately after KR 2020 . It will be hosted by the Department of Mathematics and Computer Science of the University of Calabria. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. |
Call for Papers |
Scope Contributions are solicited in all areas of logic programming and related areas, including but not restricted to:
Tracks and Special Sessions Besides the main track, ICLP 2020 will host additional tracks and special sessions:
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:
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. |
Summary |
ICLP 2020 : The 36th International Conference on Logic Programming will take place in Rende, Italy. It’s a 7 days event starting on Sep 18, 2020 (Friday) and will be winded up on Sep 24, 2020 (Thursday). ICLP 2020 falls under the following areas: CONSTRAINT LOGIC PROGRAMMING, OPERATIONS RESEARCH, CONSTRAINT SATISFACTION, LOGIC PROGRAMMING, etc. Submissions for this Conference can be made by May 15, 2020. Authors can expect the result of submission by Jun 19, 2020. Upon acceptance, authors should submit the final version of the manuscript on or before Jul 27, 2020 to the official website of the Conference. Please check the official event website for possible changes before you make any travelling arrangements. Generally, events are strict with their deadlines. It is advisable to check the official website for all the deadlines. Other Details of the ICLP 2020
|
Credits and Sources |
[1] ICLP 2020 : The 36th International Conference on Logic Programming |