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:
- Theory: Semantic Foundations, Formalisms, Nonmonotonic 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.
All submissions must be made via the EasyChair conference system. Submissions of regular papers (RPs) must follow the condensed TPLP format (template available here) and not exceed 14 pages including bibliography. RPs 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 RPs will be accepted:
- 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. 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 RPs to be published as Technical Communications (TCs). 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.
There is also a second submission round only for TCs. Submissions to
this extra round must also follow the OASIcs format indicated
above. RPs accepted as TCs do not need to be resubmitted to the TC
extra round. Rejected RPs cannot be resubmitted as TCs.
All RPs and TCs 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.
(RP: Regular Paper / TC: Technical Communication)
- Abstract registration
March 17, 2017April 26, 2017
- Paper submission
March 17, 2017May 2, 2017
April 24, 2017June 6, 2017
- Revision submission (TPLP papers)
May 15, 2017June 20, 2017
- Final notifications (TPLP papers)
May 29, 2017July 4, 2017
- Camera-ready copy
June 19, 2017July 18, 2017
- Conference August 28 / September 1, 2017
The ICLP 2017 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 a wide and interested audience with opportunities for intensive discussions and project collaboration.
The Thirteen Doctoral Consortium (DC) on Logic Programming [this year being co-organized and taking place together with CP 2017 and SAT 2017] provides research 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 present in a session of the main ICLP conference. Doctoral consortium position papers, of between 10 and 14 pages, will also be published as TCs.
The venue will be the Melbourne Convention and Exhibition Centre. Melbourne is the second most populous city in Australia and the coastal capital of the south-eastern Australian state of Victoria. Set on the shores of beautiful Port Phillip Bay, Melbourne has been named the World’s Most Liveable City for six years running and it is widely recognised as the cultural and culinary capital of Australia. It is a safe, creative and multi-cultural city full of exciting places to see, delicious foods to eat, and excellent events to experience; from the Arts precinct to the river bank parks and gardens to the buzzing city centre and the hidden thrills of Melbourne’s laneways. It is also an air-hop away from breathtaking destinations like The Great Barrier Reef, Sydney and Uluru.
The Melbourne Convention and Exhibition Centre (MCEC) is located on the banks of the iconic Yarra River in Melbourne’s South Wharf. Given its central location, it has a huge variety of accommodation close-by, with more than 6000 rooms within walking distance. MCEC is easily accessible by public transport, particularly as the Melbourne’s city centre has a free tram zone that makes it easier for tourists to move around the city.
The conference is sponsored by the Association for Logic Programming (ALP).
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.
For additional information about papers and submissions, please contact the Program Chairs via the EasyChair email address for the event.