ICLP 2005

21st International Conference on Logic Programming
October 2-5, 2005
Sitges (Barcelona) Spain

co-located with CP 2005

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.


Conference Program

The program included the three invited speakers sghared with CP 2005:

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

and the tutorial:

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

The program included the Solar Eclipse on Monday October 3rd, during the morning, covering around 85% of the solar surface.

Complete list of regular contributions is available from the DBLP Database



  • General Chairs: Pedro Meseguer (Artificial Intelligence Research Institute IIIA-CSIC, Spain), Javier Larrosa (Technical University of Catalonia UPC, Spain)
  • Program Co-Chairs: Maurizio Gabbrielli (University of Bologna, Italy)
    Gopal Gupta (University of Texas at Dallas, USA)
  • Workshop Chair: Hai-Feng Guo (University of Nebraska at Omaha, USA)
  • Doctoral Student Consortium: Enrico Pontelli (New Mexico State University, USA)
  • Publicity Chair: Felip Manya (Artificial Intelligence Research Institute IIIA-CSIC, Spain)
  • Program Commitee: Roberto Bagnara University of Parma, Italy, Maurice Bruynooghe KU Leuven, Belgium, Giorgio Delzanno University of Genova, Italy,  Stefan Decker Digital Enterprise Research Institute, Ireland,  Thom Fruehwirth University of Ulm, Germany, Patricia Hill University of Leeds, UK Joxan Jaffar University of Singapore, Singapore Bharat Jayaraman SUNY Buffalo, USA Michael Leuschel University of Dusseldorf, Germany Massimo Marchiori University of Venice, Italy and W3C, MIT, USA  Juan J. Moreno Navarro Technical University of Madrid, Spain Gopalan Nadathur University of Minnesota, USA Ilkka Niemela Helsinki U. of Tech. Finland Catuscia Palamidessi INRIA, France Enrico Pontelli New Mexico State University, USA I.V. Ramakrishnan SUNY Stony Brook, USA Vitor Santos Costa Federal U. of Rio de Janeiro, Brazil  Harald Sondergaard University of Melbourne, Australia Peter Stuckey University of Melbourne, Australia Frank Valencia University of Uppsala, Sweden



Six workshop were accepted and held on October 5th:

  • 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)



ICLP 2005 was 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.