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:
In addition to the presentations of accepted papers, the technical program will include invited talks, advanced tutorials, the doctoral consortium, and several workshops.
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:
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.
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.
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.
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.
ICLP 2018 acknowledges the invaluable sponsorship of:
|Marco Gavanelli||Università degli Studi di Ferrara, Italy|
|Alessandro dal Palù||Università di Parma, Italy|
|Paul Tarau||University of North Texas, USA|
|Stefan Woltran||Technische Universitat Wien|
|Enrico Pontelli||New Mexico State University, USA|
|Neda Saeedloei||Southern Illinois University|
|Paul Fodor||SUNY Stony Brook|
|Mario Alviano||University of Calabria|
|Marcello Balduccini||St. John's University|
|Mutsunori Banbara||Kobe University,|
|Pedro Cabalar||University of Corunna|
|Manuel Carro||Technical University of Madrid (UPM) and IMDEA Software Institute|
|Michael Codish||Ben-Gurion University of the Negev|
|Alessandro Dal Palu||University of Parma|
|Marina De Vos||University of Bath|
|Thomas Eiter||TU Wien|
|Esra Erdem||Sabanci University|
|Thom Fruehwirth||University of Ulm|
|Marco Gavanelli||University of Ferrara|
|Martin Gebser||University of Potsdam|
|Gopal Gupta||University of Texas at Dallas|
|Michael Hanus||CAU Kiel|
|Amelia Harrison||University of Texas at Austin|
|Tomi Janhunen||Aalto University|
|Angelica Kimmig||Cardiff University|
|Ekaterina Komendantskaya||Heriot-Watt University|
|Nicola Leone||University of Calabria|
|Michael Leuschel||University of Dusseldorf|
|Yuliya Lierler||University of Nebraska at Omaha|
|Vladimir Lifschitz||University of Texas at Austin|
|Barry O'Sullivan||University College Cork|
|David Pearce||Technical University of Madrid (UPM)|
|Enrico Pontelli||New Mexico State University|
|Ricardo Rocha||University of Porto|
|Chiaki Sakama||Wakayama University|
|Vitor Santos Costa||University of Porto|
|Tom Schrijvers||KU Leuven|
|Tran Cao Son||New Mexico State University|
|Theresa Swift||Universidade Nova de Lisboa|
|Peter Szeredi||Budapest University of Technology and Economics|
|Mirek Truszczynski||University of Kentucky|
|German Vidal||Universitat Politècnica de València|
|Jan Wielemaker||VU University of Amsterdam|
|Stefan Woltran||TU Wien|
|Roland Yap||National University of Singapore|
|Jia-Huai You||University of Alberta|
|Neng-Fa Zhou||CUNY Brooklyn College and Graduate Center|