ICLP 2016 - 32nd International Conference on Logic Programming (original) (raw)

Conference Scope

Since the first conference held in Marseille in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:

Theory:

Semantic Foundations, Formalisms, Non-monotonic Reasoning, Knowledge Representation.

Implementation:

Compilation, Virtual Machines, Parallelism, Constraint Handling Rules, 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 Co-inductive Logic Programming, Constraint Logic Programming, Answer-Set Programming, SAT-Checking.

Applications:

Databases, Big Data, Data Integration and Federation, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Bioinformatics, and Education.

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

Submissions of regular papers must be made in the condensed TPLP format (download here) via EasyChair(see here). 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). These TC papers should not exceed 14 pages including bibliography. Authors can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the TCs. This should allow authors to submit a long version elsewhere. All regular papers and regular TCs will be presented during the conference.

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 2016 program includes several workshops:

• 9th Workshop on Answer Set Programming and Other Computing Paradigms,ASPOCP 2016.
  The purpose of the ASPOCP workshop is to provide opportunities for researchers to identify new significant challenges in applying ASP to real life applications and to exchange ideas to overcome them.
• 8th Workshop on Constraints and Language Processing, CSLP 2016.
  The purpose of the CSLP workshop is to address the integration of constraints and human language processing from an interdisciplinary perspective and with logic programming as a pivot.
• 5th Workshop on Logic and Search,LaSh 2016.
  The purpose of the LaSh workshops is to foster scientific exchange between researchers interested in both the theory and practice of logic-based combinatorial problem solving.
• 1st Workshop on Applications of Logic Programming,AppLP 2016.
  The purpose of the AppLP workshop is to help provide directions for future research advances and application development of logic programming in several fields, with a focus on maintenance / clarity and performance and the associate trade-offs.

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.

Autumn School on Computational Logic

A school on computational logic will be held before the conference. More up to date information is available at the school web page.

Doctoral Consortium

The Twelfth 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.

Financial Assistance

The Association for Logic Programming has funds to assist financially disadvantaged participants and, especially, students to enable them to attend the conference. Inquiries should be made to the general chairs.

Sponsorship

ICLP 2016 acknowledges the invaluable sponsorship of:

Program Committee