Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. This is the 26th conference in the series (more information is available on previous ICLP conferences). This year evaluation and publication procedures have been adapted so that all accepted regular papers are published in the journal Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), in a special issue. Shorter technical communications are published in the Leibniz International Proceedings in Informatics (LIPIcs) series.
The conference is sponsored by the Association for Logic Programming. The Association has funds to assist financially disadvantaged participants and, specially, students, in order to be able to attend the conference.
The program includes technical papers, application papers, system and tool papers, technical communications, plenary invited talks (in association with other FLoC conferences, as well as ICLP invited talks), several workshops, held also as part of FLoC, the 2010 Prolog Programming Contest, and the 6th Doctoral Consortium (DC) on Logic Programming. The DC provides research students with the opportunity to present and discuss their research directions, and to obtain feedback from both peers and world-renown experts in the field. Accepted DC participants receive partial financial support to attend the event and the main conference. The best paper and presentation from the DC is given the opportunity to present in the ICLP main program.
The ICLP 2010 Proceedings consist of:
- The collection of ICLP 2010 regular papers, published in the official journal of the ALP, Theory and Practice of Logic Programming (TPLP), Cambridge U. Press (CUP), as Volume 10, Issues 4-6. All registered attendants at the conference get an account/password for ‘lifetime access’ to these issues, which can be used to read papers on line, download them, or print them for personal use.
- The collection of ICLP 2010 technical communications, Volume 7 of the LIPIcs (Leibniz International Proceedings in Informatics) series.
Both collections are already available on-line at this time (start of FLoC). Attendants also receive all papers (regular and technical communications) in a USB stick at the conference. Both regular papers and technical communications are presented at the conference.
Doctoral Consortium Chair
Prolog Programming Contest Chair