You are here

31st International Conference on Logic Programming (ICLP 2015)

Download the Proceedings of the 31st International Conference on Logic Programming (ICLP 2015).

Download the Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015).

Download the CP and ICLP 2015 programme.

Helmut Simonis has published some photographs from CP and ICLP 2015.

Final Call for Papers

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. ICLP 2015 will be co-located with the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015) and is part of George Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College of Cork.

Important Dates (Note extended deadline)

  • Abstracts due: April 20, 2015
  • Papers due: April 27, 2015 (extended April 29, 2015, 23:59 PDT)
  • Notification to authors: June 5, 2015
  • Revisions of papers due: July 3, 2015
  • Second reviews due: July 14, 2015
  • Camera ready versions due: July 21, 2015
  • Conference: August 31-September 4, 2015

Conference Scope

Contributions are sought in all areas of logic programming, including but not restricted to:

  • Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning, Knowledge Representation.
  • Implementation: Compilation, Virtual Machines, Parallelism, Constraint Handling Rules and Tabling.
  • Environments: Program Analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing.
  • Language Issues: Concurrency, Objects, Coordination, Mobility, Higher Order, Types, Modes, Assertions, Programming Techniques.
  • Related Paradigms: Inductive and Coinductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT, Constraints, Computational Argumentation, Abductive Logic Programming, Functional Logic Programming.
  • Applications: Databases, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, Social Networks and Social Choice.

In addition to the presentations of accepted papers, the technical program will include invited talks by Evelina Lamma, Luc De Raedt, and Gerhard Friedrich (joint with CP2015), advanced tutorials by John Gallagher, Francesca Lisi, Thomas Lukasiewicz, and Marco Maratea, the doctoral consortium, the LP/CP programming contest and several workshops.

Submission Details

There are two categories for submissions:

  • Regular papers, including: (1) technical papers for describing technically sound, innovative ideas that can advance the state of logic programming; (2) application papers, with emphasis on impact on some application domains; (3) system and tool papers, with emphasis on novelty, practicality, usability and availability of the systems and tools described.
  • Technical communications aimed at describing recent developments, new projects, and other materials not ready for publication as regular papers.

All regular papers and technical communications will be presented during the conference. All submissions must be written in English and describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere.

Regular papers must not exceed 12 pages plus bibliography: however the papers may include appendices beyond 12 pages. Technical communications must not exceed 10 pages. Submissions must be made in
the TPLP format (see via the EasyChair submission system, available at

Paper Publication

All accepted regular papers will be published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP), in one or more special issues. In order to ensure the quality of the final version, papers may be subject to two rounds of refereeing (within the decision period). Accepted technical communications will be published in CEUR, and in TPLP an abstract will
be included in the supplementary material of the editorial article. The program committee may also recommend papers submitted as regular to be published as technical communications.

Accepted Technical Communications style file (iclp15TCtlp.cls)

Example of online appendix for regular papers, to appear in TPLP (


The conference is sponsored by the Association for Logic Programming (ALP).

Financial Assistance

The Association for Logic Programming has funds to assist financially disadvantaged participants and, in particular, students in order to be able to attend the conference.


The ICLP 2015 conference leaflet is available for distribution, also available in a higher resolution for printing.