Part of

Conference Scope

ICLP is the premier conference on foundations and applications of logic programming, including but not restricted to answer-set programming, non-monotonic reasoning, unification and constraints based logic languages, constraint handling rules, argumentation logics, deductive databases, description logics, inductive and co-inductive logic programming. Papers are solicited on:

Foundations:

Semantics, Execution algorithms, Formal models.

Implementation:

Virtual machines, Compilation, Memory management, Parallel execution, Foreign interfaces.

Language Design:

Inference engines, Type systems, Concurrency and distribution, Modules, Metaprogramming, Relations to object-oriented and Functional programming, Logic-based domain-specific languages.

Software-Development Techniques:

Declarative algorithms and data structures, Design patterns, Debugging, Testing, Profiling, Execution visualization.

Transformation and Analysis:

Assertions, Type and mode inference, Partial evaluation, Abstract interpretation, Program transformations.

Applications and Synergies:

Interaction with SAT, SMT and CSP solvers, Logic programming techniques for type inference and theorem proving, Horn-clause analysis, Knowledge representation, Cognitive computing, Artificial intelligence, Natural language processing, Information retrieval, Web programming, Education, Computational life sciences, Computational mathematics.

In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops.

Important Dates

Paper registration (abstract):

February 5, 2018

Paper Submission:

February 19, 2018

Notification to authors:

March 21, 2018

Revision deadline (TPLP papers):

April 5, 2018

Final notification (TPLP papers):

April 15, 2018

Camera-ready copy due:

May 1, 2018

Main conference:

July 14-17, 2018

News

• Preliminary Schedule has been posted (April 16, 2018)
• Final Notifications of Acceptance have been sent (April 14, 2018)
• Preliminary notifications of acceptance/rejection have been sent (March 21, 2018)
• Extended deadline for submission of manuscripts to February 19th (February 10, 2018)
• Updated submission deadlines announced (November 21, 2017)
• Programming Contest Chair announced (November 21, 2017)
• Published link to Doctoral Consortium (October 11, 2017)
• Added list of accepted worksohps (October 11, 2017)
• First call for papers published.

Submission Details

Submissions of regular papers must be made in the condensed TPLP format (download here) via EasyChair. A regular paper must not exceed 14 pages including the bibliography, but the paper may be supplemented with appendices for proofs and details of datasets. These will not not count towards this limit and will be available as supplementary material to the published paper in the TPLP website. We accept three kinds of papers:

• 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. 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 papers to be published as technical communications. Technical communications (TCs) will be published by Dagstuhl Publishing in the OpenAccess Series in Informatics (OASIcs). TCs must follow the OASIcs format (template available here) and not exceed 14 pages excluding the bibliography and a short appendix (up to 5 more pages). TC’s authors 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.

Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs.

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.

Workshops

The ICLP 2018 program will include several workshops.

These workshops are perhaps the best places for the presentation of preliminary work, underdeveloped novel ideas, and new open problems to a wide and interested audience with opportunities for intensive discussions and project collaboration.

• 25th RCRA International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2018)
• Answer Set Programming and Other Computing Paradigms (ASPOCP)
• 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)
• Logic and Practice of Programming (LPoP)
• Workshops on Constraint Based Methods in Bioinformatics (WCB)
• Workshop on Logic and Search (LaSh)

Doctoral Consortium

The 14th 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. For information, please visit the DC Web Page.

Financial Assistance

The Association for Logic Programming has funds to assist financially disadvantaged participants and students to enable them to attend the conference. Students are invited to submit to the Doctoral Consortium (within the submission deadline) to receive financial assistance. For non-students, inquiries should be made to the general chairs.

Sponsorship

ICLP 2018 acknowledges the invaluable sponsorship of:

The Association for Logic Programming