Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:
Besides the main track, ICLP 2019 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. Call for papers
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. Call for papers
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.
Special Session: Women in Logic Programming: This special session will include invited talks and presentations by women in logic programming.
Every track and special session will have its own dedicated chairs, PC, evaluation criteria, and CFP with the submission details.
All submissions of the main track must be made via the EasyChair conference system: https://easychair.org/conferences/?conf=iclp2019
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 be 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, which will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). Technical communications must be in the OASIcs format (template here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). 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 OASIcs proceedings. This should allow authors to submit a long version elsewhere.
All regular papers and technical communications will be presented during 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.
A school on logic programming will be held before the conference. More up to date information is available at the school web page.
The 15th 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 ICLP conference.
The DC will have its own CFP, including the submission details. For information, please visit the DC Web Page.
The ICLP 2019 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 2019 program will include several tutorials. They offer the participants reviews of specific subfields as well as hands-on sessions by leading experts.