ICLP 2005

Twenty First International Conference on Logic Programming

October 2 - 5, 2005
Melia Sitges Hotel
Sitges (Barcelona) Spain

co-located with CP 2005

New: Conference pictures

New: Handouts tutorial Vitor Santos Costa

[Conference Scope] [Papers] [Industrial Papers] [Posters] [Accepted Papers/Posters] [Invited Talks] [Tutorial] [Workshops] [Prolog Contest] [Conference Program] [Doctoral Program] [Publication] [ALP Sponsoring and Prizes] [Important Dates] [Conference Site] [Co-location] [Solar Eclipse] [Registration] [Accommodation] [Travel] [Organization] [Previous Conferences][Sponsors]

Conference Scope

Since the first conference held in Marseilles in 1982, ICLP has been the premier international conference for presenting research in logic programming. Contributions (papers and posters) are sought in all areas of logic programming. Specific attention will be given to work providing novel integrations of these different areas, and to new applications of logic programming in general. Contributions on applications will be assessed with an emphasis on their impact and synergy with other areas, as opposed to technical maturity. Applications of logic programming to the Semantic Web are especially encouraged. The technical program will include several invited talks and advanced tutorials, in addition to the presentations of the accepted papers and posters. A special session on industrial applications of logic programming is also planned and several workshops will be held in parallel with the conference. For the first time, a doctoral student consortium will be organized as part of ICLP. The complete call for papers can be found here (.txt).


Papers must describe original, previously unpublished research, and must not be simultaneously submitted for publication elsewhere. They must be written in English and not exceed 15 pages in Springer LNCS format. The authors are encouraged, although not obliged, to submit their papers already in Springer LNCS format. General information about the Springer LNCS series and the LNCS authors' instructions are available at the Springer LNCS/LNAI home page. Papers should express their contribution clearly, both in general and technical terms. It is essential to identify what was accomplished, describe its significance, and explain how the paper compares with and advances previous work. Authors should make every effort to make the technical content understandable to a broad audience. The primary means of submission will be electronic, in pdf format. If electronic submission is not possible, five hard copies should be sent to one of the program co-chairs. More information on the submission procedure will be available here.

Industrial Papers

A special session on industrial applications of logic programming is also planned during the conference. Papers accepted in this session will describe innovative applications of logic programming to industrial problems. The application's innovativeness and industrial impact will be the main criteria used for judging the paper. Papers accepted for this session will be published in the proceedings as shorter,(up to) 10 pages papers.


Posters provide a forum for presenting work in an informal and interactive setting. They are ideal for discussing current work not yet ready for publication, for PhD thesis summaries and research project overviews. Accepted posters will also get a 10 minute slot for presentation during the conference. Extended abstract (2 pages) of each accepted poster will be published in the proceedings. Posters must be submitted electronically. More information on t ../cp2005/index.htmlhe submission procedure will be available here.

Accepted Papers/Posters

Accepted submissions, either as full papers or posters, are the following:

  List of accepted papers

  List of accepted posters

Invited Talks

ICLP 2005 will include the following three invited talks:

  OWL: a Description Logic Based Ontology Language
  Ian Horrocks
  Preference Reasoning
  Francesca Rossi
  The G12 Project: Mapping Solver Independent Models to Efficient Solutions

that will be shared with the CP 2005 conference.

Tutorial Program

ICLP 2005 will include the following tutorial:

  Challenges in Learning Logic Programs: From Inductive Logic Programming (ILP) to Statistical Relational Learning (SRL)  (handouts)
  Vitor Santos Costa


List of accepted workshops:

    CICLOPS'05: Colloquium on Implementation of Constraint and Logic Programming Systems(afternoon)
    CSLP'05: Constraint Solving and Language Processing (morning)
    WCB'05: Constraint Based Methods for Bioinformatics (afternoon)
    WLPE'05: Logic-based Methods in Programming Environments (morning)
    MoVeLog'05: Mobile Code Safety and Program Verification Using Computational Logic Tools(full-day)
    CHR'05: Constraint Handling Rules (full-day)

All ICLP workshops will occur on October 5th.

Prolog Programming Contest

The 11th Prolog Programming Contest will take place on October 2nd, from 18h till 20h and is open to everyone. Bring your laptop and register during the opening reception. More information on the contest can be found here.

Conference Program

The complete conference program can be found here (.pdf).

Doctoral Student Consortium

The Doctoral Consortium will provide an opportunity for students pursuing their doctoral thesis in logic programming and related areas to explore their research interests under the guidance of a panel of distinguished experts in the field. The Doctoral Consortium will also offer invited speakers and discussion groups. The Consortium will allow participants to interact with established researchers and with other students, through presentations, question-answer sessions, panel discussions, and invited presentations. A separate call-for-participation will be issued for the doctoral consortium. About 6 to 8 students will be selected for the consortium. Selected students will also present their research in the poster session. The abstract of the poster will be published in the conference proceedings. Financial support for selected students may be available. The call for doctoral program submissions can be found here (.txt).


The proceedings of the conference will be published by Springer-Verlag in the LNCS series. The proceedings will include the accepted papers and the abstracts of accepted posters.

ALP Sponsoring and Prizes

The conference is sponsored by the Association for Logic Programming. The ALP has funds to assist financially disadvantaged participants. The ALP is planning to sponsor two prizes for ICLP'05: for the best technical paper and for the best application paper.

Important Dates
Abstracts submission deadline:  May 8th
Submission deadline:  June 20th  May 11th
Notification to authors: July 5th  June 24th
Camera-ready copy due: July 25th  July 25th 
Early registration deadline: August 8th
ICLP 2005 conference October 2nd-5th

Conference Site

ICLP 2005 will be held at Melia Sitges Hotel, located  in Sitges, Barcelona, Spain. Sitges is a  town 15 minutes away from the Barcelona international airport and 30 minutes from the center of Barcelona. The town of Sitges is situated in the Catalan region of Spain, and it is a well-established tourist resort and residential area thanks to its warm climate and fantastic natural panoramic views. Melia Sitges Hotel Congress Center is located on the sea-front facing the Mediterranean and is within five-minute walking distance from the city center.

A map of Sitges can be found here. The Melia Sitges Hotel is on the right-bottom corner, marked with the numbers 6 in red and 18 in blue.


ICLP 2005 conference is co-located with the International Conference on Principles and Practice of Constraint Programming (CP 2005). This means that both conferences will occur in the same place at the same time. Specifically, CP runs from October 1st to October 5th (the CP workshop day is October 1st), while ICLP runs from October 2nd to October 5th (the workshop day is October 5th). Both conferences will be held at Melia Sitges Hotel.

Co-location means:

One common registration fee for both conferences. In the registration, delegates select one conference (CP or ICLP) to register. They will receive the proceedings of that conference, but they are allowed to attend any session of both conferences.

One common workshop fee for workshops of both conferences. In the registration, delegates attending workshops have to register for that. This allows them to attend any workshop of both conferences, with the only limitation of room capacity (around 50 people per workshop) and workshop schedule (many workshops run in parallel).

Shared invited talks. The invited talks of Ian Horrocks, Francesca Rossi and Peter Stuckey will be common to both conferences.

Shared social events. The social events (reception, excursion, banquet) will be common to both conferences.

Shared doctoral program. The different activities of the doctoral program will be common for both conferences.

Solar Eclipse

An almost annular Solar Eclipse will occur on Monday October 3rd, during the morning, covering around 85% of the solar surface. Conference sessions will be interrupted to allow delegates to observe this astronomical event. Delegates are warned not to look directly to the Sun without the adequate protection because this may cause serious injuries in the eyes. Further information can be found here.


Registration fees are as follows:
Early (on or before August 8th, 2005)
Late (after August 8th, 2005)
 Standard Registration
365 euro
465 euro
 Student Registration
165 euro
215 euro
 Workshop Registration
65 euro
85 euro
 Acommpanying Person (reception, excursion, banquet)
135 euro
175 euro

Workshop proceedings have to be purchased separatedly, at the cost of 12 euro each.

Delegates applying for a student registration have to send a proof of their student status to the conference secretariat, before July 31st. Students accepted to the Doctoral Program have a free registration to the conference, but they have to pay the workshop registration fee if attending to workshops.

Conference registration includes:

Conference proceedings
Attendance to all conference sessions
Coffee breaks
Opening reception
Conference banquet
Workshop registration includes:
Attendance to any workshop sessions
Coffee breaks
Workshop proceedings have to be purchased separatedly, at the cost of 12 euro each.
Conference secretariat:

            ULTRAMAR EXPRESS Event Management
            Diputacion, 238, 3rd floor. 08007 Barcelona, Spain
            Fax. +34.93.482.71.58 E-mail.

On-line Registrarion in now open. Click here!
If you have problems with on-line registration,contact Cinzia Marini at


A limited number of rooms, at special rates, are reserved at Melia Sitges Hotel.  Rooms in this hotel can be booked using the on-line registration. Other hotels can be found contacting the Sitges Tourist Office  (as zone, select  Aiguadolc, Centre or Sant Sebastia for the closest distance to the conference venue). It can also be contacted by phone (tel. +34 938 945 004, English spoken).


The nearest airport is Barcelona International Airport, which is 28 km far from Sitges. To travel from Barcelona airport to the conference hotel, you have several options:

If you fly with Ryanair you will probably arrive at Girona-Costa Brava Airport. You should take into account that the airport is 130 km far from Sitges (Girona is in the North of Barcelona while Sitges is in the South). You can rent a car, take a taxi (it costs about 170 euros) or take a bus to Barcelona and then go to Sitges by train. There are buses connecting all flights arriving at Girona-Costa Brava Airport with Barcelona bus station (Estacio del Nord). A one-way ticket costs 11 euros and a round trip ticket costs 19 euros. From the bus station you can go to Barcelona Sants train station by train or by metro and there take a train to Sitges (details are explained below). Another possibility is to go to Girona train station by bus (it takes about 15 minutes) and then go to Sitges by train. You should go from Girona to Barcelona Sants train station and then take the train from Barcelona Sants to Sitges (details are explained below).

Ryanair has a few destinations to Reus Airport, which is 70 km far from Sitges. The cost by taxi is about 85 euros. Another possibility is to go by bus to Reus train station and take a train from Reus train station to Sitges.

If you arrive by train or you are in Barcelona city and you would like to go to Sitges by public transportation, the best option is to go to Barcelona Sants train statation and take the train line C2. There are trains every 25 minutes from 5:40am until 12:00pm. The journey time is about 30 minutes and the ticket costs 2,30 euros. You can access to Barcelona-Sitges train timetables  (selecting BARCELONA SANTS (Barcelona Sants Station) as "Origen" (Origin) and SITGES as "Destino" (Destination) and clicking in "Horario" (Timetable)). From Sitges train station to the conference hotel you have two options: you can take a taxi (it costs approximately 6 euros) or you can take a bus. The bus connecting the train station with the conference hotel is L3 (line 3, stop in Artur Carbonell street, next to the train station). From Monday to Friday, the bus costs 0,85 euros and there are buses every 30 minutes from 7am until 8pm. On Saturday and Sunday, the bus costs 0,95 euros and there are buses every 30 minutes from 9am to 8pm.

If you go to the Doctoral Program Hotel (Sitges Park Hotel) and you arrive by train, the simplest way is to go is by foot. Take the Francesc Gumˆ street (just in front of the train station) and go until the end. Then you find the Jes­s street. The hotel is on that street, on the right.

For more information about buses inside Sitges, click here.


ICLP 2005 is organized by the Association for Logic Programming (ALP), in collaboration with the Artificial Intelligence Research Institute of the Spanish Council for Scientific Research (IIIA-CSIC) and the Technical University of Catalonia (UPC). The different Chairs and the Program Committee are listed below.
Conference Co-Chairs
Pedro Meseguer
Artificial Intelligence Research Institute (IIIA-CSIC), Spain 
Javier Larrosa
Technical University of Catalonia (UPC), Spain

Workshop Chair
Hai-Feng Guo
University of Nebraska at Omaha, USA

Publicity Chair
Felip Manya
Artificial Intelligence Research Institute (IIIA-CSIC), Spain

Program Committee
Roberto Bagnara
Maurice Bruynooghe
Giorgio Delzanno
Stefan Decker
Thom Fruehwirth
Maurizio Gabbrielli 
Gopal Gupta
Patricia Hill
Joxan Jaffar
Bharat Jayaraman
Javier Larrosa
Michael Leuschel
Massimo Marchiori
Pedro Meseguer
Juan J. Moreno Navarro
Gopalan Nadathur
Ilkka Niemela
Catuscia Palamidessi
Enrico Pontelli
I.V. Ramakrishnan
Vitor Santos Costa
Harald Sondergaard
Peter Stuckey
Frank Valencia

Program Co-Chairs  (emailhere)
Maurizio Gabbrielli
University of Bologna, Italy
Gopal Gupta
University of Texas at Dallas, USA 

Doctoral Consortium Chair
Enrico Pontelli
New Mexico State University, USA 

University of Parma, Italy
KU Leuven, Belgium 
University of Genova, Italy 
Digital Enterprise Research Institute, Ireland 
University of Ulm, Germany
University of Bologna, Italy (Program Co-Chair)
University of Texas at Dallas, USA (Program Co-Chair)
University of Leeds, UK
University of Singapore, Singapore
SUNY Buffalo, USA
Technical University of Catalonia, Spain (Conference Co-Chair) 
University of Dusseldorf, Germany
University of Venice, Italy and W3C, MIT, USA 
IIIA-CSIC, Spain (Conference Co-Chair)
Technical University of Madrid, Spain
University of Minnesota, USA
Helsinki U. of Tech. Finland
INRIA, France
New Mexico State Univeristy, USA
SUNY Stony Brook, USA
Federal U. of Rio de Janeiro, Brazil 
University of Melbourne, Australia
University of Melbourne, Australia
University of Uppsala, Sweden 

Previous Conferences

Information about previous editions of ICLP conferences can be found here.


Association for 
Logic Programming

Asociacion Espa•ola 
de Inteligencia Artificial