32nd International Conference on Logic Programming
October 16-21 2016, New York City, USA
32nd International Conference on Logic Programming
October 16-21 2016, New York City, USA
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:
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(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:
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.
The ICLP 2016 program includes 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.
A school on computational logic will be held before the conference. More up to date information is available at the school web page.
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.
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 2016 acknowledges the invaluable sponsorship of:
| Michael Kifer | Stony Brook University, USA |
| Neng-Fa Zhou | City University of New York, USA |
| Manuel Carro | UPM and IMDEA Software Institute, Spain |
| Andy King | University of Kent, UK |
| Marcello Balduccini | Drexel University, USA |
| Peter Schüller | Marmara University, Turkey |
| Marina De Vos | University of Bath, UK |
| Neda Saeedloei | University of Minnesota Duluth, USA |
| Paul Fodor | Stony Brook University, USA |
| Joaquín Arias | IMDEA Software Institute, Spain |
| Marcello Balduccini | Drexel University, USA |
| Mutsunori Banbara | Information Science and Technology Center, Kobe University, Japan |
| Roman Barták | Charles University in Prague, Czech Republic |
| Pedro Cabalar | University of Coruña, Spain |
| Mats Carlsson | SICS, Sweden |
| Manuel Carro | UPM and IMDEA Software Institute, Spain |
| Michael Codish | Ben-Gurion University of the Negev, Israel |
| Marina De Vos | University of Bath, UK |
| Agostino Dovier | Università degli Studi di Udine, Italy |
| Gregory Duck | National University of Singapore, Singapore |
| Esra Erdem | Sabanci University, Turkey |
| Wolfgang Faber | University of Huddersfield, UK |
| Thom Frühwirth | University of Ulm, Germany |
| John Gallagher | Roskilde University, Denmark and IMDEA Software Institute, Spain |
| Marco Gavanelli | Università degli studi di Ferrara, Italy |
| Martin Gebser | University of Potsdam, Germany |
| Michael Hanus | CAU Kiel, Germany |
| Katsumi Inoue | NII, Japan |
| Gerda Janssens | KU Leuven - University of Leuven, Belgium |
| Andy King | University of Kent, UK |
| Ekaterina Komendantskaya | Heriot-Watt University, UK |
| Michael Leuschel | University of Düsseldorf, Germany |
| Vladimir Lifschitz | University of Texas, USA |
| Jose F. Morales | IMDEA Software Institute, Spain |
| Enrico Pontelli | New Mexico State University, USA |
| Jörg Pührer | Leipzig University, Germany |
| Ricardo Rocha | University of Porto, Portugal |
| Zoltan Somogyi | Independent Researcher, Australia |
| Harald Søndergaard | University of Melbourne, Australia |
| Theresa Swift | NOVALINKS, Universidade Nova de Lisboa, Portugal |
| Francesca Toni | Imperial College London, UK |
| Irina Trubitsyna | Universitá della Calabria, Italy |
| Mirek Truszczynski | University of Kentucky, USA |
| Alicia Villanueva | Universitat Politècnica de València, Spain |
| Jan Wielemaker | VU University Amsterdam, Netherlands |
| Stefan Woltran | TU Wien, Austria |
| Fangkai Yang | Schlumberger Inc., USA |
| Jia-Huai You | University of Alberta, Canada |
